3f61e1e4ab82f7da.tex
1: \begin{abstract}
2: The problem of additivity of the Minimum Output Entropy is of fundamental importance in Quantum Information Theory (QIT). 
3: It was solved by Hastings \cite{Ha09} in the one-shot case, by exhibiting a pair of random quantum channels. 
4: However, the initial motivation was arguably to understand regularized quantities and there 
5: %
6: was so far no way to solve additivity 
7: questions 
8: %
9: in the regularized case. The purpose of this paper is to give a solution to this problem.
10: Specifically, we exhibit a pair of quantum channels which unearths additivity violation of the regularized minimum output entropy. 
11: Unlike previously known results in the one-shot case, our construction is non-random, infinite dimensional and in the commuting-operator setup. 
12: The commuting-operator setup is equivalent to the tensor-product setup in the finite dimensional case
13: %
14: for this problem, 
15: %
16: but their difference in infinite dimensional setting has attracted substantial attention 
17: and legitimacy recently in QIT with the celebrated resolutions of Tsirelson's and Connes embedding problem \cite{JiNaViWrYu20}. 
18: %
19: Likewise, it is not clear that our approach works in the finite dimensional setup. 
20: %
21: Our strategy of proof relies on developing a variant 
22: of the Haagerup inequality optimized for a product of free groups. 
23: \end{abstract}