arXiv subjects

Peixue Wu

Publications and source records attributed to Peixue Wu.

18 recordsLinked to original sources

arXiv2026

Superadditivity of classical communication over quantum channels via random and deterministic permutations

Since Hastings' proof of superadditivity of classical communication over quantum channels, considerable effort has been devoted to finding a structural explanation of this phenomenon that was originally established by concentration of measure for Haar random unitaries. The main observation of this work is that Haar randomness can be replaced by random permutations without changing the limiting geometry responsible for nonadditivity. This replacement turns a continuous problem over unitary matrices into a discrete combinatorial problem over zero--one permutation matrices, and thereby opens a path toward derandomization. The theorem of Bordenave and Collins shows that random permutations have the required limiting behavior and the algorithm of O'Donnell and Wu then provides a deterministic asymptotic construction, running in polynomial time in the size when the channel parameters and accuracy are fixed. Thus the random construction can be derandomized in an asymptotic algorithmic sense, although finding a simple closed-form or practically computable counterexample remains open. Finally, a quantitative random permutation estimate by Chen, Garza-Vargas, Tropp and van Handel gives a fully numerical estimate: there exists a tuple of 57,836,025 permutations acting on a set of size \[ N \le 5.422\times 10^{116216}\] such that the associated finite dimensional channel exhibits nonadditivity. This enormous value remains an obstacle to a practical construction.

quant-ph↗

arXiv2026

Private Correlations Certify Sensing Capability

We show that private correlations in a bipartite quantum state constitute a metrological resource for distributed sensing assisted by a possibly noisy channel from one party to the other. We begin with an example with distillable secret key but poor locally accessible sensing performance and show that an assisting channel substantially improves its performance. We then prove a general theorem showing that positive private information in the encoding basis certifies a quantitative lower bound on the locally accessible sensing capability after assistance. We further show that classical correlations alone provide no analogous guarantee, whereas, in the absence of the assisting subsystem, the privacy-based guarantee reduces to an entanglement-based one. Finally, in a channel formulation, we show that a channel with positive private information allows nonzero locally accessible sensitivity when paired with a suitable assisting channel.

quant-ph↗

arXiv2026

Counterexamples to additivity of minimum output $p$-Rényi entropy of quantum channels for $p>3/4$ and $0\leq p<1/4$

Additivity of minimum output entropies is a central problem in quantum information theory. Nonadditivity is known for every Rényi order $p>1$, at the von Neumann point $p=1$, and near $p=0$, while most of the interval $0 3/4$ or $0\leq p<1/4$, there exist finite-dimensional projection-induced quantum channels such that additivity of the minimum output $p$-Rényi entropy fails. The proof combines two correlated random-projection constructions: a product-conjugate Bell-state witness for $p>3/4$, and a transpose-complement rank-defect witness for $p<1/4$. Thus the unresolved part of $0<p<1$ is reduced to $[1/4,3/4]$. Our estimates also improve the output dimension threshold for additivity violation of minimum output von Neumann entropy, first established in Belinschi, Collins and Nechida.

quant-ph↗

arXiv2026

The Optimal Rate Function in Covariant Quantum State Tomography

The problem of quantum tomography is to estimate an unknown quantum state $ρ$ from a measurement of $n$ copies of $ρ$. One can ask which tomography protocol, i.e.\ which choice of multi-copy measurement, gives the best possible estimate of $ρ$. To do so, we characterize tomography protocols by their \emph{rate function}, which governs the exponential rate at which a protocol assigns probability to a particular estimate $σ$ of the true state $ρ$. This rate function is a quantum mechanical generalization of the classical relative entropy between the true state and its estimate, and depends on the choice of protocol. It is bounded by the quantum relative entropy, and we show that this bound is sharp: for any $ρ$ and $σ$ we construct a family of protocols whose rate functions converge to the quantum relative entropy $D(σ\|ρ)$. We consider the family of covariant tomography protocols; these are the basis independent state estimation schemes that assume no prior information about $ρ$ and $σ$. Keyl described a specific tomography protocol based on Schur sampling, and conjectured that among all covariant tomography protocols it has the largest possible rate function for all $σ$ and $ρ$. We prove this conjecture. The resulting rate function is an annealed version of quantum relative entropy, due to the cost of learning the eigenbasis in covariant quantum state tomography.

quant-ph↗

arXiv2026

Probing the Critical Point (CritPt) of AI Reasoning: a Frontier Physics Research Benchmark

While large language models (LLMs) with reasoning capabilities are progressing rapidly on high-school math competitions and coding, can they reason effectively through complex, open-ended challenges found in frontier physics research? And crucially, what kinds of reasoning tasks do physicists want LLMs to assist with? To address these questions, we present the CritPt (Complex Research using Integrated Thinking - Physics Test, pronounced "critical point"), the first benchmark designed to test LLMs on unpublished, research-level reasoning tasks that broadly covers modern physics research areas, including condensed matter, quantum physics, atomic, molecular & optical physics, astrophysics, high energy physics, mathematical physics, statistical physics, nuclear physics, nonlinear dynamics, fluid dynamics and biophysics. CritPt consists of 71 composite research challenges designed to simulate full-scale research projects at the entry level, which are also decomposed to 190 simpler checkpoint tasks for more fine-grained insights. All problems are newly created by 50+ active physics researchers based on their own research. Every problem is hand-curated to admit a guess-resistant and machine-verifiable answer and is evaluated by an automated grading pipeline heavily customized for advanced physics-specific output formats. We find that while current state-of-the-art LLMs show early promise on isolated checkpoints, they remain far from being able to reliably solve full research-scale challenges: the best average accuracy among base models is only 5.7%, achieved by GPT-5 (high), moderately rising to around 10% when equipped with coding tools. Through the realistic yet standardized evaluation offered by CritPt, we highlight a large disconnect between current model capabilities and realistic physics research demands, offering a foundation to guide the development of scientifically grounded AI tools.

cs.AI↗

arXiv2026

Single-letter one-way distillable entanglement for non-degradable states

The one-way distillable entanglement is a central operational measure of bipartite entanglement, quantifying the optimal rate at which maximally entangled pairs can be extracted by one-way LOCC. Despite its importance, it is notoriously hard to compute, since it is defined by a regularized optimization over many copies and adaptive one-way protocols. At present, single-letter formulas are only known for (conjugate) degradable and PPT states. More generally, it has remained unclear when one-way distillable entanglement can still be additive beyond degradability and PPT settings, and how such additivity relates to additivity questions of quantum capacity of channels. In this paper, we address this gap by identifying three explicit families of non-degradable and non-PPT states whose one-way distillable entanglement is nevertheless single-letter. First, we introduce two weakened degradability-type conditions--regularized less-noisy and informationally degradable--and prove that each guarantees additivity and hence a single-letter formula. Second, we show a stability result for orthogonally flagged mixtures: when one component has orthogonal support on Alice's system and zero one-way distillable entanglement, the mixture remains single-letter, even though degradability is typically lost under such mixing. Finally, we propose a generalized spin-alignment principle for entropy minimization in tensor-product settings, which we establish in several key cases, including a complete Rényi-2 result. As an application, we obtain additivity results for generalized direct-sum channels and their corresponding Choi states.

quant-ph↗

arXiv2026

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.

quant-ph↗

arXiv2025

Quantum capacity amplification via privacy

We investigate superadditivity of quantum capacity through private channels whose Choi-Jamiolkowski operators are private states. This perspective links the security structure of private states to quantum capacity and clarifies the role of the shield system: information encoded in the shield system that would otherwise leak to the environment can be recycled when paired with an assisting channel, thereby boosting capacity. Our main contributions are threefold: Firstly, we develop a general framework that provides a sufficient condition for capacity amplification, which is formulated in terms of the assisting channel's Holevo information. As examples, we give explicit, dimension and parameter dependent amplification thresholds for erasure and depolarizing channels. Secondly, assuming the Spin alignment conjecture, we derive a single-letter expression for the quantum capacity of a family of private channels that are neither degradable, anti-degradable, nor PPT; as an application, we construct channels with vanishing quantum capacity yet unbounded private capacity. Thirdly, we further analyze approximate private channels: we give an alternative proof of superactivation that extends its validity to a broader parameter regime, and, by combining amplification bounds with continuity estimates, we establish a metric separation showing that channels exhibiting capacity amplification have nonzero diamond distance from the set of anti-degradable channels, indicating that existing approximate (anti-)degradability bounds are not tight. We also revisit the computability of the regularized quantum capacity and modestly suggest that this fundamental question still remains open.

quant-ph↗

arXiv2025

Quantum $f$-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients

Any reasonable measure of distinguishability of quantum states must satisfy a data processing inequality, that is, it must not increase under the action of a quantum channel. We can ask about the proportion of information lost or preserved and this leads us to study contraction and expansion coefficients respectively, which can be combined into a single \emph{relative expansion coefficient}. We focus on two prominent families: (i) standard quantum $f$ divergences and (ii) their local (second-order) behaviour, which induces a monotone Riemannian semi-norm (that is linked to the $χ^2$ divergence). Building on prior work, we identify new families of $f$ for which the global ($f$ divergence) and local (Riemannian) relative expansion coefficients coincide for every pair of channels, and we clarify how exceptional such exact coincidences are. Beyond equality, we introduce an \emph{equivalence} framework that transfers qualitative properties such as strict positivity uniformly across different relative expansion coefficients. Leveraging the link between equality in the data processing inequality (DPI) and channel reversibility, we apply our framework of relative expansion coefficients to approximate recoverability of quantum information. Using our relative expansion results for primitive channels, we prove a reverse quantum Markov convergence theorem, converting positive expansion coefficients into quantitative lower bounds on the convergence rate.

quant-ph↗

arXiv2025

Reverse-type Data Processing Inequality

The quantum data processing inequality asserts that two quantum states become harder to distinguish when a noisy channel is applied. On the other hand, a reverse quantum data processing inequality characterizes whether distinguishability is preserved after the application of a noisy channel. In this work, we explore these concepts through contraction and expansion coefficients of the relative entropy of quantum channels. Our first result is that quantum channels with an input dimension greater than or equal to the output dimension do not have a non-zero expansion coefficient, which means that they cannot admit a reverse data-processing inequality. We propose a comparative approach by introducing a relative expansion coefficient, to assess how one channel expands relative entropy compared to another. We show that this relative expansion coefficient is positive for three important classes of quantum channels: depolarizing channels, generalized dephasing channels, and amplitude damping channels. As an application, we give the first rigorous construction of level-1 less noisy quantum channels that are non-degradable.

quant-ph↗

arXiv2025

Additivity of quantum capacities in simple non-degradable quantum channels

Quantum channel capacities give the fundamental performance limits for information flow over a communication channel. However, the prevalence of superadditivity is a major obstacle to understanding capacities, both quantitatively and conceptually. In contrast, examples exhibiting additivity, though relatively rare, offer crucial insights into the origins of nonadditivity and form the basis of our strongest upper bounds on capacity. Degradable channels, whose coherent information is provably additive, stand out as among the few classes of channels for which the quantum capacity is exactly computable. In this paper, we introduce two families of non-degradable channels whose coherent information remains additive, making their quantum capacities tractable. First, we demonstrate that channels capable of ``outperforming" their environment, under conditions weaker than degradability, can exhibit either strong or weak additivity of coherent information. Second, we explore a complementary construction that modifies a channel to preserve coherent information additivity while destroying the ``outperforming" property. We analyze how structural constraints guarantee strong and weak additivity and investigate how relaxing these constraints leads to the failure of strong additivity, with weak additivity potentially persisting.

quant-ph↗

arXiv2025

Transportation cost and contraction coefficient for channels on von Neumann algebras

We present a noncommutative optimal transport framework for quantum channels acting on von Neumann algebras. Our central object is the Lipschitz cost measure, a transportation-inspired quantity that evaluates the minimal cost required to move between quantum states via a given channel. Accompanying this is the Lipschitz contraction coefficient, which captures how much the channel contracts the Wasserstein-type distance between states. We establish foundational properties of these quantities, including continuity, dual formulations, and behavior under composition and tensorization. Applications include recovery of several mathematical quantities including expected group word length and Carnot-Carathéodory distance, via transportation cost. Moreover, we show that if the Lipschitz contraction coefficient is strictly less than one, one can get entropy contraction and mixing time estimates for certain classes of non-symmetric channels.

math.OA↗

arXiv2024

Time fractional stochastic differential equations driven by pure jump Lévy noise

In this paper we introduce a variable order time fractional differential equation driven by pure jump Lévy noise, which models the motion of a particle exhibiting memory effect. We prove the well-posedness of this equation without assuming any integrability condition on the initial condition and the large jump coefficient, by using a truncation argument. Under some extra conditions, we also derive some $L^p$ moment estimates on the solutions. As an application of moment estimates, we prove the Hölder regularity of the solutions.

math.PR↗

arXiv2024

Heat kernel estimates for regional fractional Laplacians with multi-singular critical potentials in $C^{1, β}$ open sets

Let $D$ be an open set of $\mathbb{R}^d$, $α\in (0, 2)$ and let $\mathcal{L}_α^D$ be the generator of the censored $α$-stable process in $D$. In this paper, we establish sharp two-sided heat kernel estimates for $\mathcal{L}_α^D-κ$, with $κ$ being a non-negative critical potential and $D$ being a $C^{1, β}$ open set, $β\in ((α-1)_+,1]$. The potential $κ$ can exhibit multi-singularities and our regularity assumption on $D$ is weaker than the regularity assumed in earlier literature on heat kernel estimates of fractional Laplacians.

math.PR↗

arXiv2024

Lower bound for simulation cost of open quantum systems: Lipschitz continuity approach

Simulating quantum dynamics is one of the most promising applications of quantum computers. While the upper bound of the simulation cost has been extensively studied through various quantum algorithms, much less work has focused on establishing the lower bound, particularly for the simulation of open quantum system dynamics. In this work, we present a general framework to calculate the lower bound for simulating a broad class of quantum Markov semigroups. Given a fixed accessible unitary set, we introduce the concept of convexified circuit depth to quantify the quantum simulation cost and analyze the necessary circuit depth to construct a quantum simulation scheme that achieves a specific order. Our framework can be applied to both unital and non-unital quantum dynamics, and the tightness of our lower bound technique is illustrated by showing that the upper and lower bounds coincide in several examples.

quant-ph↗

arXiv2024

A note on the stabilizer formalism via noncommutative graphs

In this short note we formulate a stabilizer formalism in the language of noncommutative graphs. The classes of noncommutative graphs we consider are obtained via unitary representations of compact groups, and suitably chosen operators on finite-dimensional Hilbert spaces. Furthermore, in this framework, we generalize previous results in this area for determining when such noncommutative graphs have anticliques.

cs.IT↗

arXiv2022

Stability property for the quantum jump operators of an open system

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.

math.OA↗

arXiv2020

Quantum Secret Sharing and Tripartite Information

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.

quant-ph↗