arXiv subjects

Pablo Costa Rico

Publications and source records attributed to Pablo Costa Rico.

9 recordsLinked to original sources

arXiv2026

Sharp Inequalities for Schur-Convex Functionals of Partial Traces over Unitary Orbits

While many bounds have been proved for partial trace inequalities over the last decades for a large variety of quantities, recent problems in quantum information theory demand sharper bounds. In this work, we study optimal bounds for partial trace quantities in terms of the spectrum; equivalently, we determine the best bounds attainable over unitary orbits of matrices. We solve this question for Schur-convex functionals acting on a single partial trace in terms of eigenvalues for self-adjoint matrices and then we extend these results to singular values of general matrices. We subsequently extend the study to Schur-convex functionals that act on several partial traces simultaneously and present sufficient conditions for sharpness. In cases where closed-form maximizers cannot be identified, we present quadratic programs that yield new computable upper bounds for any Schur-convex functional. We additionally present examples demonstrating improvements over previously known bounds. Finally, we conclude with the study of optimal bounds for an $n$-qubit system and its subsystems of dimension $2$.

quant-ph↗

arXiv2026

Geodesic Quantum $f$-Divergences

We introduce the geodesic quantum $f$-divergences $D_f^t$, $0\leq t\leq1$, obtained from the affine-invariant geodesic between the standard and maximal relative modular operators. They reduce to the classical $f$-divergence for commuting states. The logarithmic generator yields geodesic relative entropies joining the Umegaki and Belavkin-Staszewski entropies, while the power generators yield $(t,α)$-Rényi divergences joining the Petz and geometric families. Our first main result is data processing of $D_f^t$ for every finite operator-convex generator $f$ and every $t\in[0,1]$. In particular, this gives DPI for the geodesic relative entropies and for the $(t,α)$-Rényi divergences when $0<α<1$ or $1<α\leq2$. Our second main result identifies equality in the DPI: for invertible states, every equality-determining operator-convex generator has, at each nonmaximal parameter $0\leq t<1$, exactly the Petz sufficiency class; at $t=1$, this changes to the generally larger maximal, or BS, class, which also coincides with the equality class of the divergences associated with the quadratic generator for every $t$. Our third main result is the corresponding collapse of invertible geodesic quantum Markov chains: for each of the three ordered conditional-mutual-information constructions, the $t$-quantum Markov chains are precisely the quantum Markov chains for $0\leq t<1$, whereas at $t=1$ they are the invertible BS quantum Markov chains, a class that can be strictly larger. We also determine parameter-monotonicity regimes and the intersections with the $(α,z)$ family. We prove strengthened data-processing and reconstruction estimates; we compare the three conditional orientations; we establish continuity bounds under positive lower-eigenvalue assumptions together with complementary discontinuity results; and we give a capacity-per-unit-cost interpretation.

quant-ph↗

arXiv2026

Information Geometry of the Geodesic Quantum $f$-Divergences

We study the differential, statistical, and geometrical consequences generated by the geodesic quantum $f$-divergences introduced in [14], which are constructed by interpolating the relative modular operator and the commutant Radon-Nikodym derivative using a geodesic with parameter $t\in [0,1]$. For an invertible state $ρ$ and an operator convex function $f$, we compute the Hessian and obtain an explicit formula for the induced monotone quantum information metric $g_{ρ,t}^{(f)}$. Furthermore, we also compare these metrics with the Petz-Hasegawa metric and find the meaning of the interpolation parameter $t$ in this new geometry. We next show that the interpolation of relative modular operators $Γ_t$ in the reference purification of a state $σ$ defines a canonical finite binary experiment $(p_t,q_t)$, and introduce a log-likelihood cumulant function $Ψ_{ρ,σ}(t,s)$, recovering the Nussbaum-Szkoła distributions at $t=0$ and the Matsumoto construction at $t=1$. Finally, using Busemann functions, we endow this statistical framework with a geometric meaning in the cone of positive operators.

quant-ph↗

arXiv2026

Sharp continuity of quantum conditional entropy

We prove the sharp uniform continuity bound for quantum conditional entropy. If two bipartite states are at trace distance at most $δ$ and $d=\dim A$, the optimal dimension-only modulus of continuity is $h_2(δ)+δ\log(d^2-1)$ up to $δ=1-d^{-2}$ and $2\log d$ thereafter, where $h_2$ denotes the binary entropy. When $\dim B\ge d$, this bound is tight for every $δ\in[0,1]$. The key proof idea was developed with the assistance of ChatGPT 5.6 Sol, building on and adapting the tight classical proof of Alhejji \& Smith [IEEE ISIT (2020)], which follows a conceptually different approach.

quant-ph↗

arXiv2025

Instantaneous Sobolev Regularization for Dissipative Bosonic Dynamics

We investigate quantum Markov semigroups on bosonic Fock space and identify a broad class of infinite-dimensional dissipative evolutions that exhibit instantaneous Sobolev-regularization. Motivated by stability problems in quantum computation, we show that for certain Lindblad operators that are polynomials of creation and annihilation operators, the resulting dynamics immediately transform any initial state into one with finite expectation in all powers of the number operator. A key application is in the bosonic cat code, where we obtain explicit estimates in the trace norm for the speed of convergence. These estimates sharpen existing perturbative bounds at both short and long times, offering new analytic tools for assessing stability and error suppression in bosonic quantum information processing. For example, we improve the strong exponential convergence of the (shifted) $2$-photon dissipation to its fixed point to the uniform topology.

math-ph↗

arXiv2025

Partial trace relations beyond normal matrices

We investigate the relationship between partial traces and their dilations for general complex matrices, focusing on two main aspects: the existence of (joint) dilations and norm inequalities relating partial traces and their dilations. Throughout our analysis, we pay particular attention to rank constraints. We find that every pair of matrices of equal size and trace admits dilations of any rank larger than one. We generalize Audenaert's subadditivity inequality to encompass general matrices, multiple tensor factors, and different norms. A central ingredient for this is a novel majorization relation for Kronecker sums. As an application, we extend the interval of Werner states in which they are provably 2-undistillable in any dimension $d\geq4$. We also prove new Schmidt-number witnesses and $k$-positive maps.

quant-ph↗

arXiv2025

New Partial Trace Inequalities and Distillability of Werner States

One of the oldest problems in quantum information theory is to study if there exists a state with negative partial transpose which is undistillable. This problem has been open for almost 30 years, and still no one has been able to give a complete answer to it. This work presents a new strategy to try to solve this problem by translating the distillability condition on the family of Werner states into a problem of partial trace inequalities, this is the aim of our first main result. As a consequence we obtain a new bound for the $2$-distillability of Werner states, which does not depend on the dimension of the system. On the other hand, our second main result provides new partial trace inequalities for bipartite systems, connecting some of them also with the separability of Werner states. Throughout this work we also present numerous partial trace inequalities, which are valid for many families of matrices.

math-ph↗

arXiv2025

Belavkin-Staszewski Quantum Markov Chains

It is well-known that the conditional mutual information of a quantum state is zero if, and only if, the quantum state is a quantum Markov chain. Replacing the Umegaki relative entropy in the definition of the conditional mutual information by the Belavkin-Staszewski (BS) relative entropy, we obtain the BS-conditional mutual information, and we call the states with zero BS-conditional mutual information Belavkin-Staszewski quantum Markov chains. In this article, we establish a correspondence which relates quantum Markov chains and BS-quantum Markov chains. This correspondence allows us to find a recovery map for the BS-entropy in the spirit of the Petz recovery map. Furthermore, we show that, over the set of BS-quantum Markov chains, this correspondence constitutes an entanglement-breaking map. Moreover, we prove a structural decomposition of the Belavkin-Staszewski quantum Markov chains and also study states for which the BS-conditional mutual information is only approximately zero. We subsequently extend the aforementioned correspondence, structural decomposition and recovery map to arbitrary pairs of states and conditional expectations. As an application of the correspondence, we find the first family of states with non-vanishing conditional mutual information for which it decays superexponentially fast with the size of the middle system.

quant-ph↗

arXiv2024

On the Problem of Defining Charge Operators for the Dirac Quantum Field

It is well known how to define the operator $Q$ for the total charge (i.e., positron number minus electron number) on the standard Hilbert space of the second-quantized Dirac equation. Here we ask about operators $Q_A$ representing the charge content of a region $A\subseteq \mathbb{R}^3$ in 3d physical space. There is a natural formula for $Q_A$ but, as we explain, there are difficulties about turning it into a mathematically precise definition. First, $Q_A$ can be written as a series but its convergence seems hopeless. Second, we show for some choices of $A$ that if $Q_A$ could be defined then its domain could not contain either the vacuum vector or any vector obtained from the vacuum by applying a polynomial in creation and annihilation operators. Both observations speak against the existence of $Q_A$ for generic $A$.

math-ph↗