Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

For reversible PODS quantum semigroups, the log-Sobolev constant of the n-fold tensor product is at least 0.96 times the single-site constant, independent of n and local dimension.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 11:04 UTC pith:AYZ3H3K7

load-bearing objection The depolarizing-channel tensorization result is real and dimension-free, but the paper overclaims the breadth of its PODS theorem: it needs strong reversibility for the general statement, and the abstract's exact-tensorization claim for qubit PODS isn't backed by a theorem. the 2 major comments →

arxiv 2606.17729 v3 pith:AYZ3H3K7 submitted 2026-06-16 quant-ph math.OA

Dimension-Free Approximate Tensorization of Quantum Hypercontractivity for Qudit Depolarizing Semigroups

Yangjing Dong , Li Gao , Fengning Ou , Penghui Yao , Haigang Zhou This is my paper
classification quant-ph math.OA
keywords quantum hypercontractivitylogarithmic Sobolev inequalitytensorizationdepolarizing channelquantum Markov semigroupPODS conditionnorm compressioncomplex interpolation
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

For any reversible quantum Markov semigroup satisfying the positive off-diagonal scaling (PODS) condition, the log-Sobolev constant of the n-fold tensor product is at least 2/(3 ln 2) = 0.96 times the single-site constant, with no dependence on n or the local dimension. This covers generalized qudit depolarizing semigroups with respect to arbitrary full-rank states. Previous bounds for these channels degraded with both dimension and the spectral gap; here the loss is an absolute factor. The proof tensorizes integer-exponent hypercontractivity (in particular exponent 3) via a norm compression inequality, extends to all real exponents by complex interpolation, and then converts hypercontractivity into the log-Sobolev estimate. For qudit depolarizing channels the result also provides the hypercontractive input needed for influence-theoretic applications to quantum Boolean functions.

Core claim

The central claim is that for every primitive reversible PODS quantum Markov semigroup, the 2-log-Sobolev constant of the tensor product of n copies satisfies α2(L^(n)) ≥ (2/(3 ln 2)) α2(L) ≈ 0.96 α2(L), where L is the single-site generator. PODS means the semigroup scales every off-diagonal matrix unit by a nonnegative scalar and maps each diagonal matrix unit into the diagonal space. The proof proceeds in three steps: an exact tensorization of (q,2)-hypercontractivity for integer q (especially q=3) using a norm compression inequality for positive semidefinite block matrices; a complex interpolation argument that extends the estimate to all real q between 2 and 3; and the standard implicati

What carries the argument

The main tool is the norm compression inequality: for integer p≥2 and a positive semidefinite block matrix M=(M_ij), the Schatten p-norm of M is bounded above by the p-norm of the matrix whose entries are the p-norms of the blocks. Unlike the p=2 and d=2 cases, this inequality fails for general real p when the local dimension d≥3, which is why the argument uses integer exponents and then interpolates. The interpolation property of the σ-weighted L_p spaces is the second pillar: it converts the integer-q bound (q=3) into a bound for all q∈[2,3] while preserving the constants up to the factor 2/(3 ln 2).

Load-bearing premise

The proof of Theorem 3.12 requires strong σ-reversibility (GNS-symmetry) so that α2(L) equals the infimum of αp(L) over p≥1, but the theorem statement assumes only KMS-symmetry; if there are KMS-reversible PODS semigroups that are not GNS-reversible, the stated theorem is not supported by the supplied argument.

What would settle it

Construct a PODS semigroup with a full-rank invariant state σ that is KMS-reversible but not GNS-reversible, numerically compute α2(L^(2)) and α2(L), and check whether the ratio is below 0.96. If such an example exists, Theorem 3.12's generality fails; if the ratio never drops below 0.96 in a family of such examples, the proof's GNS requirement is unnecessary.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For any n and any local dimension d, the log-Sobolev constant of a product depolarizing semigroup is at least 0.96 times that of one copy; the same holds for every semigroup in the PODS class.
  • Product qudit depolarizing channels gain the hypercontractive estimate needed for the influence-theoretic applications described in Section 5, including influence lower bounds and junta approximation, uniformly in n and d.
  • The spectral-gap dependence of earlier quasi-tensorization results is removed; the bound depends only on the single-site log-Sobolev constant.
  • For qubit depolarizing channels, the (q,2)-hypercontractivity bound is optimal: the noise parameter cannot be increased, giving a sharp tensorized estimate for all n.
  • Because the PODS class includes depolarizing, Hadamard, and noncommutative birth-death semigroups, the approximate tensorization property transfers to those families.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The 0.96 factor may be an artifact of the interpolation step; exact tensorization for qudit depolarizing semigroups remains open, and refinements of the integer-interpolation method could plausibly push the factor to 1 (this is an extension beyond the paper's claims).
  • The proof uses strong GNS-reversibility to identify α2(L) with the infimum over p of αp(L), while the stated Theorem 3.12 assumes only KMS-reversibility; testing the gap with KMS-reversible but not GNS-reversible PODS examples would either produce a counterexample or show the stronger statement is actually needed (editorial inference).
  • The norm compression route suggests a general recipe for tensorization of other quantum channels: find an integer-exponent compression inequality and a suitable interpolation family. Whether this works for erasure channels is a natural test case (editorial inference).
  • If the influence-theoretic consequences hold for all local dimensions, then quantum Boolean function analysis extends beyond the qubit hypercube, with potential algorithmic implications for quantum distribution testing and learning (editorial inference).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies approximate tensorization of quantum hypercontractivity and logarithmic-Sobolev inequalities for reversible quantum Markov semigroups satisfying the "positive off-diagonal scaling" (PODS) condition. The main results are: Theorem 3.1, a (q,p)-hypercontractivity estimate for n-fold generalized qudit depolarizing channels with a time constant depending on the single-site log-Sobolev constant; Theorem 1.2 / Theorem 3.12, a lower bound alpha_2(L^{(n)}) >= (2/(3 ln 2)) alpha_2(L) ~ 0.96 alpha_2(L) for reversible PODS generators; sharp qubit (q,2)-hypercontractivity; and applications to quantum KKL, Talagrand, and junta theorems. The proof combines a new norm compression inequality for integer p, induction for integer-q hypercontractivity, complex interpolation to reach real q, and the standard LSI/hypercontractivity equivalence. The depolarizing-channel application is detailed and largely self-contained. However, the claimed generality for merely sigma-reversible (KMS-symmetric) PODS semigroups is not fully supported as written, because the proof uses an identification of alpha_2 with inf_p alpha_p that is stated only for strongly reversible generators.

Significance. If correct, this is a significant advance: it gives the first dimension-independent approximate tensorization for a broad class of non-unital quantum semigroups, improves on the dimension-dependent bound of Temme-Pastawski-Kastoryano, and supplies the missing hypercontractive input for the quantum influence theory of Rouze-Wirth-Zhang in arbitrary local dimension. The proof strategy is natural and mostly self-contained, and the constant 2/(3 ln 2) is derived cleanly. The paper also contains useful counterexamples for norm compression and an optimal qubit result. Importantly, the main depolarizing theorem does not rely on the questionable generality, since the simple generator L_sigma is strongly sigma-reversible. The central gap concerns only the breadth of the 'reversible PODS' claim, not the core depolarizing bound.

major comments (2)
  1. [Section 2.4 (Lemma 2.18) and Section 3.4 (Theorem 3.12)] The proof route uses the identification alpha_2(L)=inf_{p>=1} alpha_p(L), which Lemma 2.18 states only for strongly sigma-reversible generators. Theorems 1.2 and 3.12 assert the conclusion for sigma-reversible (KMS-symmetric) PODS generators, and Corollary 3.13 explicitly needs strong reversibility. The text does not supply the missing implication KMS-symmetric + PODS implies GNS-symmetric, nor a citation. This is load-bearing: Theorem 2.17's hypercontractive time is governed by inf_p alpha_p(L), and without the identification the single-site (3,2)-hypercontractivity at time ln 2/(4 alpha_2(L)), used as the input to Theorem 3.7, is unjustified for merely KMS-symmetric L. Please either prove the implication in Section 2 or restrict the abstract, Theorem 1.2, and Theorem 3.12 to strongly reversible generators.
  2. [Section 3.4 (Theorem 3.12)] The two-generator statement assumes only that Psi is PODS and that Psi' is omega-reversible. The proof via Theorem 3.7 needs single-site (3,2)-hypercontractivity for Psi', whose time constant is obtained from alpha_2(L') only if L' is strongly omega-reversible. Supplying the missing KMS-to-GNS implication for the PODS factor L does not help L'. As stated, Theorem 3.12's two-generator claim is unsupported. Equation (8) for a single L does not need this two-generator version; it should be stated separately with the strong-reversibility hypothesis as in Corollary 3.13, or Theorem 3.12 should assume PODS/strong reversibility on both sides.
minor comments (5)
  1. [Lemma 2.15] The proof that gamma_{ij}(t) is real contains a tautology: after substituting Psi_t(E_ij)=gamma E_ij, the displayed equality is gamma <E_ij,E_ij> = gamma <E_ij,E_ij>, which gives no information. The correct computation is <Psi_t(E_ij),E_ij> = conjugate(gamma) sigma_j and <E_ij,Psi_t(E_ij)> = gamma sigma_j. The conclusion is true but the proof needs correction.
  2. [Corollary 3.5] The displayed block matrix in the proof has off-diagonal factors written as (sigma_1 sigma_d)^{1/(2p)} in the first row; they should be (sigma_i sigma_j)^{1/(2p)}. Also, the notation Gamma_sigma^{1/p} is overloaded to mean the tensor product on the (n-1)-site blocks; please clarify.
  3. [Theorems 3.6 and 3.7] The single-site hypercontractivity bound is applied to the non-PSD matrix \tilde B. Theorem 2.17 is stated for positive operators, so the extension to arbitrary \tilde B should explicitly invoke Lemma 3.2. As written, the application is implicit.
  4. [Theorem 3.3] For odd p, the chain of inequalities uses (Tr[m^p])^{1/p}; since m need not be PSD, please state explicitly that Tr[m^p] >= 0 because all entries of m are nonnegative, so the intermediate quantity is well-defined and nonnegative.
  5. [Throughout] The terms 'reversible' and 'strongly reversible' are used inconsistently. The abstract and Theorem 1.2 say 'reversible' while Corollary 3.13 needs 'strongly sigma-reversible'. Please disambiguate consistently, especially in the abstract and introduction.

Circularity Check

0 steps flagged

No significant circularity: the tensorization derivation is self-contained and uses external single-site LSI constants as inputs, not as fitted predictions.

full rationale

The central claim (Theorem 1.1 / Theorem 3.1) is derived from: (i) the externally established single-site logarithmic-Sobolev constant of the simple depolarizing generator (Beigi–Datta–Rouzé, cited as [9]); (ii) a new integer norm-compression inequality (Theorem 3.3 and Corollary 3.5); (iii) an induction tensorizing integer (q,2)-hypercontractivity for PODS channels (Theorem 3.6, Theorem 3.7); and (iv) complex interpolation plus the standard LSI/hypercontractivity equivalence (Theorem 2.17, Theorem 2.19). No quantity appearing in the final inequality is fitted to make it true, and no target bound is equal by construction to an input parameter. The single-site α2(Lσ) is an external input, not a value inferred from the n-fold tensor product being predicted. Self-citations occur only in contextual or open-problem statements (e.g., references to [5], [18], [42]) and are not load-bearing for the main proof. The known assumption gap in Theorem 3.12 — stated for merely σ-reversible generators while the proof route through Lemma 2.18 requires strong reversibility — is a correctness/hypothesis concern, not circularity: even if the broader statement is unsupported, the argument does not reduce to its own assumptions by definition. The derivation is therefore self-contained against external benchmarks and no circular step is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The proof has no empirical free parameters or new physical entities. The main assumptions are external foundational results in quantum Markov semigroups and noncommutative Lp theory, plus the PODS structural hypothesis. The only possible concern is the assumption-strength mismatch between 'σ-reversible' and 'strongly σ-reversible' in the general PODS theorem.

axioms (7)
  • domain assumption Exact single-site log-Sobolev constant formula α2(Lσ) = (1 − 2λ(σ)) / ln(λ(σ)^{-1} − 1)
    External result [9, Theorem 25]; load-bearing input for the threshold times in Theorem 3.6 and Theorem 3.1.
  • domain assumption σ-weighted Lp spaces satisfy complex interpolation with constant 1 (Lemma 3.11)
    Cited from [7, Theorem 2]; the exact constant 1 is needed to keep the final tensorization factor dimension-free.
  • domain assumption Primitive full-rank quantum Markov semigroups are p-contractive (Proposition 2.9)
    Standard result from [9]; used to extend hypercontractivity from threshold times to all later times.
  • domain assumption For strongly σ-reversible generators, α2(L) = inf_{p≥1} αp(L) (Lemma 2.18)
    External result from [9, Theorem 14]; needed for the conversion between α2 and full hypercontractivity in Corollary 3.13, but not guaranteed for merely σ-reversible generators.
  • domain assumption Logarithmic-Sobolev/hypercontractivity equivalence (Theorem 2.17)
    Standard equivalence from [9, 40]; used in both directions in the main proof.
  • domain assumption King's 2×2 block matrix norm compression for real q ≥ 2
    External result [28]; used in Section 4 to tensorize qubit hypercontractivity for all real q.
  • standard math Reduction of hypercontractivity to positive semidefinite inputs (Lemma 3.2)
    Proven in Appendix A using SVD and Hölder's inequality, following Watrous and Gupta–Wilde; used to apply hypotheses to all operators.

pith-pipeline@v1.3.0-alltime-deepseek · 30163 in / 37404 out tokens · 327200 ms · 2026-08-02T11:04:48.694092+00:00 · methodology

0 comments
read the original abstract

We prove approximate tensorization for hypercontractivity and logarithmic-Sobolev constants for a class of primitive reversible quantum Markov semigroups satisfying the positive off-diagonal scaling (PODS) condition. This class includes qubit examples and generalized depolarizing semigroups with respect to full-rank states in arbitrary finite dimensions. For any such semigroup $(\Phi_t)_{t\ge 0}$ and every tensor power $n$, we show that the log-Sobolev constant of the product semigroup $\Phi_t^{\otimes n}$ is at least $2/(3\ln 2)\approx 0.96$ times the log-Sobolev constant of the single-site semigroup $\Phi_t$, independently of $n$ and the local dimension $d$. The proof first establishes an exact tensorization of the $(q,2)$-hypercontractive inequality for integer $q$, in particular $q=3$, and then extends the estimate to all real $q>2$ by complex interpolation; the standard implication from hypercontractivity to logarithmic-Sobolev inequalities yields the stated almost tensorization result. In the qubit case, we further prove exact tensorization for primitive reversible PODS semigroups and obtain sharp $(q,2)$-hypercontractivity estimates for generalized qubit depolarizing channels.

Figures

Figures reproduced from arXiv: 2606.17729 by Fengning Ou, Haigang Zhou, Li Gao, Penghui Yao, Yangjing Dong.

Figure 1
Figure 1. Figure 1: Proof roadmap for Theorem 3.1. The proof alternates between hypercontractive statements and logarithmic-Sobolev inequalities. We have the σ-weighted p-norm (or Kosaki weighted Lp-norm[30]) as ∥X∥σ,p = Tr[|Γ 1/p σ (X)| p ] 1 p = Tr[|σ 1 2p Xσ 1 2p | p ] 1 p ≡ [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Relational Quantum Causal Processes: Exact Models, Continuum Limits, and the Boundary of Emergent Gravity

    quant-ph 2026-07 conditional novelty 7.0

    Relational quantum causal processes are shown to generate Boolean records, DAG causal order, and Lorentzian metric-measure geometry in controlled models, with autonomous background-free gravity left open.

Reference graph

Works this paper leans on

50 extracted references · cited by 1 Pith paper

  1. [1]

    Doriguello,Matrix hypercontractivity, streaming algorithms and LDCs: the large alphabet case, ACM Trans

    Srinivasan Arunachalam and Joao F. Doriguello,Matrix hypercontractivity, streaming algorithms and LDCs: the large alphabet case, ACM Trans. Comput. Theory16(2024), no. 4, Article 21

    2024

  2. [2]

    Koenraad M. R. Audenaert,A norm compression inequality for block partitioned positive semidefinite matrices, Linear Algebra Appl. 413(2006), no. 1, 155–176

    2006

  3. [3]

    4, 781–795

    ,On a norm compression inequality for2×Npartitioned block matrices, Linear Algebra Appl.428(2008), no. 4, 781–795

    2008

  4. [4]

    348, Springer, Cham, 2014

    Dominique Bakry, Ivan Gentil, and Michel Ledoux,Analysis and geometry of Markov diffusion operators, Grundlehren der mathema- tischen Wissenschaften, vol. 348, Springer, Cham, 2014. 23

    2014

  5. [5]

    Zongbo Bao, Yangjing Dong, Fengning Ou, and Penghui Yao,Hypercontractivity for quantum erasure channels via variable multipartite log-Sobolev inequality, IEEE Trans. Inf. Theory71(2025), no. 7, 5400–5417

    2025

  6. [6]

    Henri Poincar´e23(2022), no

    Ivan Bardet and Cambyse Rouz ´e,Hypercontractivity and logarithmic Sobolev inequality for non-primitive quantum Markov semigroups and estimation of decoherence rates, Ann. Henri Poincar´e23(2022), no. 11, 3839–3903

    2022

  7. [7]

    Salman Beigi,Sandwiched R ´enyi divergence satisfies data processing inequality, J. Math. Phys.54(2013), no. 12, 122202

    2013

  8. [8]

    ,Improved quantum hypercontractivity inequality for the qubit depolarizing channel, J. Math. Phys.62(2021), no. 12, 122201

    2021

  9. [9]

    Salman Beigi, Nilanjana Datta, and Cambyse Rouz ´e,Quantum reverse hypercontractivity: its tensorization and application to strong converses, Commun. Math. Phys.376(2020), no. 2, 753–794

    2020

  10. [10]

    Salman Beigi and Christopher King,Hypercontractivity and the logarithmic Sobolev inequality for the completely bounded norm, J. Math. Phys.57(2016), no. 1, 015206

    2016

  11. [11]

    Avraham Ben-Aroya, Oded Regev, and Ronald de Wolf,A hypercontractive inequality for matrix-valued functions with applications to quantum computing and LDCs, Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science (Washington, DC), IEEE Computer Society, 2008, pp. 477–486

    2008

  12. [12]

    Thierry Bodineau and Bogusław Zegarlinski,Hypercontractivity via spectral theory, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 3(2000), no. 1, 15–31

    2000

  13. [13]

    Wilde,Trade-off capacities of the quantum Hadamard channels, Phys

    Kamil Br ´adler, Patrick Hayden, Dave Touchette, and Mark M. Wilde,Trade-off capacities of the quantum Hadamard channels, Phys. Rev. A81(2010), no. 6, 062312

    2010

  14. [14]

    Carlen and Jan Maas,Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance, J

    Eric A. Carlen and Jan Maas,Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance, J. Funct. Anal.273(2017), no. 5, 1810–1869

    2017

  15. [15]

    Kastoryano, Ashley Montanaro, and Kristan Temme,Quantum reverse hypercontractivity, J

    Toby Cubitt, Michael J. Kastoryano, Ashley Montanaro, and Kristan Temme,Quantum reverse hypercontractivity, J. Math. Phys.56 (2015), no. 10, 102204

    2015

  16. [16]

    Persi Diaconis and Laurent Saloff-Coste,Logarithmic Sobolev inequalities for finite Markov chains, Ann. Appl. Probab.6(1996), no. 3, 695–750

    1996

  17. [17]

    194, Springer, New York, 2000

    Klaus-Jochen Engel and Rainer Nagel,One-parameter semigroups for linear evolution equations, Graduate Texts in Mathematics, vol. 194, Springer, New York, 2000

    2000

  18. [18]

    Sigma 13(2025), e31

    Li Gao, Marius Junge, Nicholas LaRacuente, and Haojian Li,Complete positivity order and relative entropy decay, Forum Math. Sigma 13(2025), e31

    2025

  19. [19]

    Li Gao and Cambyse Rouz ´e,Complete entropic inequalities for quantum Markov chains, Arch. Ration. Mech. Anal.245(2022), no. 1, 183–238

    2022

  20. [20]

    Dmitry Gavinsky, Julia Kempe, Iordanis Kerenidis, Ran Raz, and Ronald de Wolf,Exponential separations for one-way quantum com- munication complexity, with applications to cryptography, Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing (New York), Association for Computing Machinery, 2007, pp. 516–525

    2007

  21. [21]

    J.42(1975), no

    Leonard Gross,Hypercontractivity and logarithmic Sobolev inequalities for the Clifford–Dirichlet form, Duke Math. J.42(1975), no. 3, 383–396

    1975

  22. [22]

    ,Logarithmic Sobolev inequalities, Am. J. Math.97(1975), no. 4, 1061–1083

    1975

  23. [23]

    Gupta and Mark M

    Manish K. Gupta and Mark M. Wilde,Multiplicativity of completely boundedp-norms implies a strong converse for entanglement-assisted capacity, Commun. Math. Phys.334(2015), no. 2, 867–887

    2015

  24. [24]

    Theory Relat

    Marius Junge and Qiang Zeng,Noncommutative martingale deviation and Poincar ´e type inequalities with applications, Probab. Theory Relat. Fields161(2015), no. 3–4, 449–507

    2015

  25. [25]

    Jeff Kahn, Gil Kalai, and Nathan Linial,The influence of variables on Boolean functions, Proceedings of the 29th Annual Symposium on Foundations of Computer Science (Washington, DC), IEEE Computer Society, 1988, pp. 68–80

    1988

  26. [26]

    Kastoryano and Kristan Temme,Quantum logarithmic Sobolev inequalities and rapid mixing, J

    Michael J. Kastoryano and Kristan Temme,Quantum logarithmic Sobolev inequalities and rapid mixing, J. Math. Phys.54(2013), no. 5, 052202

    2013

  27. [27]

    Comput.37(2007), no

    Subhash Khot, Guy Kindler, Elchanan Mossel, and Ryan O’Donnell,Optimal inapproximability results for MAX-CUT and other 2- variable CSPs?, SIAM J. Comput.37(2007), no. 1, 319–357

    2007

  28. [28]

    Christopher King,Inequalities for trace norms of2×2block matrices, Commun. Math. Phys.242(2003), 531–545

    2003

  29. [29]

    ,Hypercontractivity for semigroups of unital qubit channels, Commun. Math. Phys.328(2014), no. 1, 285–301

    2014

  30. [30]

    Hideki Kosaki,Applications of the complex interpolation method to a von Neumann algebra: non-commutativeL p-spaces, J. Funct. Anal. 56(1984), no. 1, 29–78

    1984

  31. [31]

    ACM40(1993), no

    Nathan Linial, Yishay Mansour, and Noam Nisan,Constant depth circuits, Fourier transform, and learnability, J. ACM40(1993), no. 3, 607–620

    1993

  32. [32]

    Ashley Montanaro,Some applications of hypercontractive inequalities in quantum information theory, J. Math. Phys.53(2012), no. 12, 122206

    2012

  33. [33]

    Osborne,Quantum Boolean functions, Chic

    Ashley Montanaro and Tobias J. Osborne,Quantum Boolean functions, Chic. J. Theor. Comput. Sci.2010(2010), no. 1

    2010

  34. [34]

    Math.171(2010), no

    Elchanan Mossel, Ryan O’Donnell, and Krzysztof Oleszkiewicz,Noise stability of functions with low influences: invariance and opti- mality, Ann. Math.171(2010), no. 1, 295–341

    2010

  35. [35]

    Edward Nelson,A quartic interaction in two dimensions, Mathematical Theory of Elementary Particles: Proceedings of the Conference Held at Dedham, Massachusetts, September 12–15, 1965 (Roe Goodman and Irving Segal, eds.), MIT Press, Cambridge, MA, 1966, pp. 69–73

    1965

  36. [36]

    ,The free Markoff field, J. Funct. Anal.12(1973), no. 2, 211–227

    1973

  37. [37]

    Nielsen and Isaac L

    Michael A. Nielsen and Isaac L. Chuang,Quantum computation and quantum information, 10th anniversary edition ed., Cambridge University Press, Cambridge, 2010

    2010

  38. [38]

    Ryan O’Donnell,Analysis of Boolean functions, Cambridge University Press, Cambridge, 2014

    2014

  39. [39]

    56, Birkh¨auser, Basel, 2003, pp

    Krzysztof Oleszkiewicz,On a nonsymmetric version of the Khinchine–Kahane inequality, Stochastic Inequalities and Applications, Progress in Probability, vol. 56, Birkh¨auser, Basel, 2003, pp. 157–168

    2003

  40. [40]

    Robert Olkiewicz and Bogusław Zegarlinski,Hypercontractivity in noncommutativeL p spaces, J. Funct. Anal.161(1999), no. 1, 246– 285

    1999

  41. [41]

    Feng Qi,Logarithmic convexity of extended mean values, Proc. Am. Math. Soc.130(2002), no. 6, 1787–1796. 24

    2002

  42. [42]

    Comput.50(2021), no

    Minglong Qin and Penghui Yao,Nonlocal games with noisy maximally entangled states are decidable, SIAM J. Comput.50(2021), no. 6, 1800–1891

    2021

  43. [43]

    12, 1732– 1803

    ,Decidability of fully quantum nonlocal games with noisy maximally entangled states, Algorithmica87(2025), no. 12, 1732– 1803

    2025

  44. [44]

    Cambyse Rouz ´e,Logarithmic Sobolev inequalities for finite dimensional quantum Markov chains, Optimal Transport on Quantum Structures (Jan Maas, Simone Rademacher, Tam ´as Titkos, and D ´aniel Virosztek, eds.), Springer Nature Switzerland, Cham, 2024, pp. 263–321

    2024

  45. [45]

    Cambyse Rouz ´e, Melchior Wirth, and Haonan Zhang,Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quan- tum Boolean functions, Commun. Math. Phys.405(2024), no. 4, 95

    2024

  46. [46]

    Stolarsky,Generalizations of the logarithmic mean, Math

    Kenneth B. Stolarsky,Generalizations of the logarithmic mean, Math. Mag.48(1975), no. 2, 87–92

    1975

  47. [47]

    Kastoryano,Hypercontractivity of quasi-free quantum semigroups, J

    Kristan Temme, Fernando Pastawski, and Michael J. Kastoryano,Hypercontractivity of quasi-free quantum semigroups, J. Phys. A: Math. Theor.47(2014), no. 40, 405303

    2014

  48. [48]

    Comput.5(2005), no

    John Watrous,Notes on super-operator norms induced by Schatten norms, Quantum Inf. Comput.5(2005), no. 1, 58–68

    2005

  49. [49]

    ,The theory of quantum information, Cambridge University Press, Cambridge, 2018

    2018

  50. [50]

    Math.180(2007), no

    Paweł Wolff,Hypercontractivity of simple random variables, Stud. Math.180(2007), no. 3, 219–236. AppendixA.Proof of Lemma 3.2 Proof.SinceΞis completely positive, it is defined by a set of operators{A k}M k=1 such that Ξ(X) = MX k=1 AkXA† k. LetX∈ Mdn be any operator satisfying∥X∥ σ,p = 1. LetY∈ M dn be the normalized tangent functional ofΞ(X)with respect ...

    2007