Pith. sign in

REVIEW 3 major objections 4 minor 96 references

Multiversion of the Hausdorff--Young inequality

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper claims that a covariance matrix condition is equivalent to a whole family of sharp multifunction Gaussian inequalities, with the Beckner–Janson flow as the proof engine.

desk verdict A substantial FB framework with derived covariance conditions, but Theorem 11 as printed is false and the log-Sobolev application needs repair. read the letter →

arxiv 2506.08494 v1 pith:H3API63U submitted 2025-06-10 math.FA math.CAmath.CVmath.PR

Paata Ivanisvili , Pavlos Kalantzopoulos This is my paper · ORCID
classification math.FAmath.CAmath.CVmath.PR MSC 42B2042B3547A3042A38
keywords Hausdorff–YounginequalityhypercontractivityBeckner–JansonflowmultifunctioninequalitiesGaussiancorrelationBrascamp–Lieblog-Sobolevnoisestability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that a large family of sharp inequalities in Gauss space—multifunction complex and real hypercontractivity, the Hausdorff–Young inequality, log-Sobolev, Gaussian–Jensen, and Borell noise stability—are all governed by one abstract equivalence. For smooth functions $F$ and $B$, the inequality $E F(B(|T_{z_1} f_1(\xi_1)|,\ldots,|T_{z_n} f_n(\xi_n)|)) \le F(E B(|f_1(\xi_1)|,\ldots,|f_n(\xi_n)|))$ holds for all polynomials if and only if a local matrix quadratic form (2.27) is nonnegative, provided the curvature map $(t,y)\mapsto \frac{F''(t)}{F'(t)}y^2$ is convex. The real-parameter version (Theorem 14) extends the equivalence to all measurable functions and to reverse inequalities, with convexity of $\frac{F''(t)}{|F'(t)|}y^2$ and the local condition (2.29). Choosing $F(t)=t^\alpha$ and $B(t)=t_1^{p_1}\cdots t_n^{p_n}$ reduces the condition to two-sided covariance bounds whose eigenvalues give sharp constants, so each classical single-function inequality is recovered as the $n=1$ case. A sympathetic reader should care because the paper's payoff is structural: one flow, one matrix condition, and many sharp inequalities follow.

What carries the argument

The machinery is the Beckner–Janson flow, an interpolation $C(s)$ built by applying two heat flows, $Q^u_s$ and $Q^x_{1-s}$, to functions $g_p(u,x,s)=\int f_p(A_pu+r_pA_px+\sqrt{1-r_p^2}y)\,d\gamma_{1-s}(y)$ in the real case, so that $C(0)$ is the left side of the target inequality and $C(1)$ is the right side. The proof differentiates $C(s)$, uses the heat equation to express $C'(s)$ as a sum of local terms, and applies Jensen's inequality, which is exactly where the convexity or concavity assumption on $(t,y)\mapsto \frac{F''(t)}{F'(t)}y^2$ enters to move the inner heat flow outside the quadratic term. The remaining block-matrix quadratic form collapses to the local condition (2.29) or (2.27), so monotonicity of the flow is equivalent to that matrix being semidefinite in the required direction. This reduces a global functional inequality to a pointwise matrix check.

What would settle it

Compute $C'(0)$ directly for $F(t)=-t$, $n=2$, $B(c_1,c_2)=c_1c_2$, $r=(0,0)$, and covariance $\rho>0$: the local condition (2.29) reduces to the scalar $\rho\ge 0$, and the global inequality is the true statement $E[f_1(\xi_1)f_2(\xi_2)]\ge Ef_1(\xi_1)Ef_2(\xi_2)$. A discriminating case is $F(t)=t^\alpha$ with $0<\alpha<1$, where the convexity assumption of Theorem 14 fails but Proposition 1's reverse inequality should coincide exactly with the known reverse hypercontractivity direction; if the directions disagree, the sign bridge is broken.

Watch

Extended reading notes

Core claim

The central claim is that the if-and-only-if route from local matrix condition to global inequality is valid for the $(F,B)$ pair, not just for power functions. In the complex case, Theorem 13 states that for $|z_j|\le 1$, $F'>0$, $B_m>0$, and convex $(t,y)\mapsto \frac{F''(t)}{F'(t)}y^2$, inequality (2.26) holds for every polynomial $f_j$ exactly when the quadratic form (2.27) is nonnegative at every $c>0$ and every complex $w_p$. The real case Theorem 14 weakens the hypotheses, requiring no polynomial growth condition, no positivity of $B_m$, and allowing measurable test functions, and it gives both forward and reverse inequalities, with the direction tied to the sign of $F'$ and to convexity of $\frac{F''(t)}{|F'(t)|}y^2$. From these the paper derives Theorem 1 (n-function complex hypercontractivity) and Theorem 9 (n-function forward and reverse real hypercontractivity) as corollaries, and from those the sharp multifunction Hausdorff–Young inequality, the correlated log-Sobolev inequality, moment comparisons for Gaussian chaoses, and the noisy Borell theorem.

Load-bearing premise

The proof assumes the sign convention that convexity of $(t,y)\mapsto \frac{F''(t)}{F'(t)}y^2$ makes the interpolation flow monotone in the direction needed for the forward inequality, with the reverse case handled by an unstated reduction of $F$ to $-F$; if that sign is wrong, the local matrix condition does not force the global inequality.

Editorial extensions

If this is right

  • Taking $n=1$ recovers Beckner's complex hypercontractivity and hence the sharp Hausdorff–Young inequality, Bonami–Nelson real hypercontractivity, reverse hypercontractivity, and Gross's log-Sobolev inequality as corollaries of one theorem.
  • The covariance condition in Theorem 9 gives an if-and-only-if test: for any correlated Gaussian family and any exponents $p_j$, forward or reverse hypercontractivity is decided by a matrix inequality, with the sharp noise parameter read off from $\lambda_{\min}$ and $\lambda_{\max}$.
  • Theorem 6 supplies a sharp multifunction Hausdorff–Young inequality with explicit Gaussian extremizers and best constant $(p\lambda_{\min})^{\sum k_j/2}$.
  • Theorem 11 yields a correlated, best-constant log-Sobolev inequality for products $\prod_j f_j^{p_j}(\xi_j)$ with constant $p^2\lambda_{\min}/(2\sqrt{p\lambda_{\min}-1})$, interpolating Gross's inequality when the Gaussian coordinates are independent.
  • Theorem 16 generalizes Borell's noise stability to two different noise levels $r_1,r_2$ applied to the two sets, with the sharp bound expressed by the same function $M$ and equality on parallel halfspaces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: because the local condition is a semidefinite matrix inequality, the sharp constants for given covariance matrices and exponents could be computed automatically, turning the theorems into a feasibility test rather than a case-by-case analysis.
  • Beyond the paper: the framework leaves open entropy-type outer functions such as $F(t)=t\log t$; if the convexity condition holds for such $F$, the same flow would produce correlated entropy or log-Sobolev inequalities for products of many functions beyond Theorem 11.
  • Beyond the paper: the noisy Gaussian–Jensen theorem suggests that Brascamp–Lieb inequalities with additional noise operators could be derived by choosing $B$ to encode pairwise interactions, a direction the paper only touches through the covariance characterization.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper proposes a general "FB" framework for sharp multifunction Gaussian inequalities. Theorem 13 states that, under convexity of (t,y) -> F''(t)/F'(t) y^2, the inequality E F(B(|T_{z1} f1(ξ1)|,...,|T_{zn} fn(ξn)|)) <= F(E B(|f1(ξ1)|,...,|fn(ξn)|)) holds for all polynomials if and only if a local matrix condition (2.27) holds; Theorem 14 gives the analogous forward/reverse statement for real noise operators under convexity of F''/|F'| y^2. From these, the paper derives n-function complex and real hypercontractivity, n-function Hausdorff-Young inequalities, a correlated log-Sobolev inequality, reverse Hölder estimates for Gaussian chaoses, a noisy Gaussian-Jensen inequality, noisy Borell, and a covariance-based characterization related to Brascamp-Lieb. The main proofs are semigroup interpolation arguments: local conditions are obtained by second-order Taylor expansions, and sufficiency is shown by a Beckner-Janson type flow with a Jensen step. The exposition is detailed and self-contained, but Section 4 contains a sign error that makes Theorem 11 false as printed, and the reduction between the concavity/reverse setting of Proposition 1 and the convexity/forward setting of Theorem 14 is not stated.

Significance. If Theorems 13 and 14 are correct, the paper gives a substantial unifying framework: the covariance conditions are derived rather than fitted, and the corollaries connect several classical sharp inequalities with multifunction analogues. The semigroup proof strategy is original and the scope of applications is broad. However, the advertised log-Sobolev corollary is not established as printed, and the main real theorem relies on an unstated sign reduction. These issues are load-bearing for the paper's claims, although they appear repairable within the manuscript's approach.

major comments (3)
  1. [Section 4, proof of Theorem 11, Eq. (4.8) and the line following it] The derivative identity for the Mehler flow has the wrong sign. Since L = Δ − x·∇ satisfies L H_β = −|β| H_β and T_z = z^{−L}, one must have ∂_r T_{φ(r)} = (φ′/φ)(−L) T_{φ(r)}, not (φ′/φ) L T_{φ(r)}. This sign error propagates into the definition of M g_{φ(r)} and into the final inequality (2.24). The printed statement is false: for n=1, k_1=1, λ_min=1, p=2 and f(x)=e^{εx}, the left-hand side of (2.24) is 2ε^2 e^{2ε^2}, while the printed right-hand side is −2ε^2 e^{2ε^2}. A corrected calculation gives Ent(f^p) ≤ p^2 λ_min/[2(pλ_min−1)] E(∏ f_j^p) Σ (−L f_j)/f_j, which for n=1, p=2 recovers the classical Gross inequality. As printed, the correlated log-Sobolev inequality and the claim that the listed corollaries follow from the FB framework are not established. This error should be fixed and the constants re-checked.
  2. [Section 3, Proposition 1 versus Theorem 14] The bridge between Proposition 1 and Theorem 14 is not stated. Proposition 1 assumes that (t,y) ↦ F''(t)/|F'(t)| y^2 is concave and proves the reverse inequality (3.4) with the local condition (3.5) ≤ 0 and C(s) nonincreasing. Theorem 14 instead assumes convexity of the same quantity and concludes the forward inequality (2.28) with (2.29) ≥ 0. The transfer by applying Proposition 1 to −F is valid, but it is never written down, and the sign conventions in the Jensen step of Proposition 1 depend on F' through the |F'| in the denominator. Without this reduction, the proof of Theorem 14 is incomplete as presented.
  3. [Section 2.4, list item after Theorem 13] The text says twice 'for the implication (2.26) implies (2.27)' with different differentiability assumptions. The second occurrence should read '(2.27) implies (2.26)'. This is a typo, but it should be corrected because the two directions of an if-and-only-if theorem are being discussed.
minor comments (4)
  1. [Throughout] There are several typos and misspellings: 'Mahler transform' should be 'Mehler transform', 'Seciton' in Section 4, 'moroever' in Theorem 11, 'measuralef' in the proof of Theorem 16, 'fameous' and 'haflspaces' in Section 2.6, and 'Borrel' in Theorem E.
  2. [Theorem 2 and related conditions] The matrix condition (2.9) contains denominators s_j^2; the statement should explicitly assume s_j ≠ 0 or discuss the limiting case separately.
  3. [Theorem 7 proof] After the change of variables, the notation switches between (x,y), (u,v), and (ξ1,ξ2) without a consistent renaming; this makes the displayed computation harder to follow.
  4. [Section 4, proof of Theorem 11] Even after correcting the sign, the text should define the Ornstein-Uhlenbeck generator and the Mehler transform convention once more near the proof, since the identity T_z = z^{−L} is central to the computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the FB theorem and corollaries are derived from self-contained semigroup arguments, with local conditions obtained by expansion rather than fit.

full rationale

The paper's central claims are derived, not fitted. The local matrix conditions (2.27) and (2.29) are obtained by Taylor-expanding the global inequality at order epsilon^2 (necessity) and by proving monotonicity of the semigroup flow C(s) via the heat equation and Jensen's inequality (sufficiency). No parameter is fitted to a subset of data and then renamed a prediction; the 'if and only if' statements are proved in both directions. Earlier results by the same authors appear as context or as special cases: [37] is cited for the history of the Beckner-Janson flow, but the flow's monotonicity is re-proved in Propositions 1 and 2, while [38] is listed only as an application recovered by Theorem 13. Thus the self-citations are not load-bearing. The only flagged gaps, namely the unstated sign reduction from Proposition 1 (concavity/reverse inequality) to Theorem 14 (convexity/forward inequality) and the apparent L versus -L sign inconsistency in the proof of Theorem 11, are correctness or presentation issues rather than circularity: they do not make the derivation equivalent to its own input. Consequently there are no circular steps to report.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No empirical parameters or postulated entities. The constants are explicit and sharpness is shown by Gaussian extremizers. The only free choices are the convexity assumptions on F and B, which are conditions of the theorems, not fitted numbers.

assumptions (4)
  • domain assumption The Gaussian random vectors ξ_j are jointly normal with full-rank covariance and λmin, λmax denote extreme eigenvalues.
    Invoked in Notations and in Theorems 3, 10, 11; rank deficiency would require separate eigenvalue treatment.
  • domain assumption F and B satisfy smoothness, polynomial growth, B_m>0, and F'>0 conditions in Theorem 13.
    Technical conditions used in the heat-flow proof and dominated convergence arguments; they are not ad hoc to the target result.
  • domain assumption The function (t,y) -> F''(t)/|F'(t)| y^2 is convex (or concave in Proposition 1) in the relevant domain.
    Used in the Jensen step that moves the heat-flow average from inside F to outside; the sign inconsistency between Proposition 1 and Theorem 14 is a red flag.
  • standard math Hermite expansion, Mehler formula, and the Beckner-Janson flow are valid for the classes of functions considered.
    Standard Gaussian analysis facts used throughout; the paper cites prior proofs and extends them to multifunction settings.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Multiversion of the Hausdorff--Young inequality." pith.science (2026). https://pith.science/paper/H3API63U

@misc{pith2026250608494,
  author       = {Pith},
  title        = {Pith review of: Multiversion of the Hausdorff--Young inequality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H3API63U}},
  note         = {Machine review of arXiv:2506.08494}
}
abstract

We consider a family of jointly Gaussian random vectors $\xi_j \in \mathbb{R}^{k_j}$, each standard normal but possibly correlated, and investigate when\[ \mathbb{E}\, F\!\Bigl(B\bigl(|T_{z_1} f_1(\xi_1)|,\dots,|T_{z_n} f_n(\xi_n)|\bigr)\Bigr) \;\;\le\;\; F\!\Bigl(\,\mathbb{E}\,B\bigl(|f_1(\xi_1)|,\dots,|f_n(\xi_n)|\bigr)\Bigr) \] holds, where $T_{z}$ is either a Mehler transform $(z \in \mathbb{C})$ or a noise operator $(z \in \mathbb{R})$. This framework unifies and extends real and complex hypercontractivity to multi-function settings, yielding multiversions of the sharp Hausdorff--Young inequality, the log-Sobolev inequality, and a noisy Gaussian--Jensen inequality. Applications include a new covariance-based characterization of the Brascamp--Lieb inequality in the presence of noise.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

96 extracted references · 79 canonical work pages

  1. [1]

    Anantharam, V

    V. Anantharam, V. Jog, and C. Nair , Unifying the brascamp-lieb inequality and the entropy power inequality , IEEE Transactions on Information Theory 68 (2022), no. 12, 7665--7684

    2022

  2. [2]

    K. I. Babenko , An inequality in the theory of Fourier integrals , Izv.\ Ross.\ Akad.\ Nauk Ser.\ Mat.\ 25 (1961), no. 4, 531--542

    1961

  3. [3]

    Ball : Volumes of sections of cubes and related problems

    K. Ball : Volumes of sections of cubes and related problems. Israel J.\ Math.\ 77 (1992), 55--64

    1992

  4. [4]

    Bennett, N

    J. Bennett, N. Bez, and A. Carbery , Heat-flow monotonicity related to the Hausdorff--Young inequality , Bull.\ Lond.\ Math.\ Soc.\ 41 (2009), no. 6, 971--979

    2009

  5. [5]

    Barthe, D

    F. Barthe, D. Cordero-Erausquin : Inverse Brascamp-Lieb inequalities along the heat equation. Geometric aspects of functional analysis, 65--71, Lecture Notes in Math.\ 1850, Springer, Berlin, 2004

    2004

  6. [6]

    Barthe, D

    F. Barthe, D. Cordero-Erausquin, M. Ledoux, B. Maurey . Correlation and Brascamp-Lieb inequalities for Markov semigroups . Int.\ Math.\ Res.\ Not.\ IMRN 10 (2011), 2177--2216

    2011

  7. [7]

    Barthe : Optimal Young’s inequality and its converse: a simple proof

    F. Barthe : Optimal Young’s inequality and its converse: a simple proof. Geom.\ Funct.\ Anal.\ 8 (1998), 234--242

    1998

  8. [8]

    Barthe : On a reverse form of the Brascamp-Lieb inequality

    F. Barthe : On a reverse form of the Brascamp-Lieb inequality . Invent.\ Math.\ 134 (1998), 335--361

    1998

Show all 96 references
  1. [9]

    Barthe, N

    F. Barthe, N. Huet : On Gaussian Brunn-Minkowski inequalities . Studia Math.\ 191 (2009), 283--304

    2009

  2. [10]

    Barthe, P

    F. Barthe, P. Wolff , Positive Gaussian kernels also have Gaussian minimizers , Mem.\ Am.\ Math.\ Soc.\ 276 (1359) (2022)

    2022

  3. [11]

    Beckner , Inequalities in Fourier Analysis , Ann.\ of Math.\ 102 (1975), no

    W. Beckner , Inequalities in Fourier Analysis , Ann.\ of Math.\ 102 (1975), no. 1, 159--182

    1975

  4. [12]

    Bennett, T

    J. Bennett, T. Tao , Adjoint Brascamp-Lieb inequalities , arXiv:2306.16558

    arXiv

  5. [13]

    Bennett, T

    J. Bennett, T. Carbery, M. Christ, T. Tao , The Brascamp–Lieb Inequalities: Finiteness, Structure and Extremals . Geom.\ Funct.\ Anal.\ 17 (2008), 1343--1415

    2008

  6. [14]

    Brascamp, E.H

    H.J. Brascamp, E.H. Lieb : Best constants in Young’s inequality, its converse, and its generalization to more than three functions . Adv.\ Math.\ 20 (1976), 151--173

    1976

  7. [15]

    Borell , Positivity improving operators and hypercontractivity , Math.\ Z.\ 180 (1982), no

    C. Borell , Positivity improving operators and hypercontractivity , Math.\ Z.\ 180 (1982), no. 2, 225--234

    1982

  8. [16]

    Borell , Geometric bounds on the Ornstein-Uhlenbeck velocity process , Z.\ Wahrsch.\ Verw.\ Gebiete 70 (1985), no

    C. Borell , Geometric bounds on the Ornstein-Uhlenbeck velocity process , Z.\ Wahrsch.\ Verw.\ Gebiete 70 (1985), no. 1, 1--13

    1985

  9. [17]

    Bonami , Étude des coefficients de Fourier des fonctions de L^p(G) , Ann.\ Inst.\ Fourier 20 (1970), 335--402

    A. Bonami , Étude des coefficients de Fourier des fonctions de L^p(G) , Ann.\ Inst.\ Fourier 20 (1970), 335--402

    1970

  10. [18]

    H. J. Brascamp, E. H. Lieb , On extensions of the Brunn--Minkowski and Prékopa--Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation , J.\ Funct.\ Anal.\ 22 (1976), no. 4, 366--389

    1976

  11. [19]

    A. Carbery . The Brascamp-Lieb inequalities: Recent Developments . Nonlinear Analysis, Function Spaces and Applications, 8 (2007), 9--34, Czech Academy of Sciences, Mathematical Institute, Praha

    2007

  12. [20]

    Carlen, D

    E.A. Carlen, D. Cordero-Erausquin . Subadditivity of the entropy and its relation to Brascamp-Lieb type inequalities . Geom.\ Funct.\ Anal.\ 19 (2009), no. 2, 373--405

    2009

  13. [21]

    Carlen, E.H

    E. Carlen, E.H. Lieb, M. Loss : A sharp analog of Young’s inequality on S^N and related entropy inequalities . J.\ Geom.\ Anal.\ 14 (2004), 487--520

    2004

  14. [22]

    older and reverse H\

    W.K. Chen, N. Dafnis, G. Paouris . Improved H\"older and reverse H\"older inequalities for correlated Gaussian random vectors , Adv.\ Math.\ 280 (2015), 643--689

    2015

  15. [23]

    Courtade, J

    T.A. Courtade, J. Liu : Euclidean forward-reverse Brascamp-Lieb inequalities: finiteness, structure, and extremals . J.\ Geom.\ Anal.\ 31 (2021), 3300--3350

    2021

  16. [24]

    Christ , A sharpened Hausdorff–Young inequality , arXiv:1406.1210 [math.FA], 2014

    M. Christ , A sharpened Hausdorff–Young inequality , arXiv:1406.1210 [math.FA], 2014

    2014 arXiv

  17. [25]

    A. De, E. Mossel, J. Neeman , Majority is stablest: Discrete and SoS , Theory of Computing 12 (2016), Article 4, 1--50

    2016

  18. [26]

    J. B. Epperson , The hypercontractive approach to exactly bounding an operator with complex Gaussian kernel , J.\ Funct.\ Anal.\ 87 (1989), no. 1, 1--30

    1989

  19. [27]

    Eskenazis, P

    A. Eskenazis, P. Ivanisvili , Dimension independent Bernstein--Markov inequalities in Gauss space , J.\ Approx.\ Theory 253 (2020), 105358

    2020

  20. [28]

    Eskenazis, P

    A. Eskenazis, P. Ivanisvili , Sharp growth of the Ornstein-Uhlenbeck operator on Gaussian tail spaces , Israel J.\ Math.\ (to appear)

  21. [29]

    Eskenazis, P

    A. Eskenazis, P. Ivanisvili , Polynomial inequalities on the Hamming cube , Probab.\ Theory Relat.\ Fields 178 (2020), no. 1--2, 235--287

    2020

  22. [30]

    Gross , Logarithmic Sobolev inequalities , Amer.\ J.\ Math.\ 97 (1975), 1061--1083

    L. Gross , Logarithmic Sobolev inequalities , Amer.\ J.\ Math.\ 97 (1975), 1061--1083

    1975

  23. [31]

    Hardy, J.E

    G.B. Hardy, J.E. Littlewood, G. P\'olya , Inequalities , 2nd ed., Cambridge University Press, Cambridge, 1952

    1952

  24. [32]

    Hariya , A unification of the hypercontractivity and its exponential variant of the Ornstein--Uhlenbeck semigroup , J.\ Funct.\ Anal.\ 275 (2018), no

    Y. Hariya , A unification of the hypercontractivity and its exponential variant of the Ornstein--Uhlenbeck semigroup , J.\ Funct.\ Anal.\ 275 (2018), no. 10, 2647--2683

    2018

  25. [33]

    Hu , Analysis on Gaussian Spaces , World Scientific Publishing, Singapore, 2016

    Y. Hu , Analysis on Gaussian Spaces , World Scientific Publishing, Singapore, 2016

    2016

  26. [34]

    Ivanisvili , Boundary value problem and the Ehrhard inequality , Studia Math.\ 246 (2019), no

    P. Ivanisvili , Boundary value problem and the Ehrhard inequality , Studia Math.\ 246 (2019), no. 3, 241--260

    2019

  27. [35]

    Ivanisvili, F

    P. Ivanisvili, F. Nazarov , On Weissler's conjecture on the Hamming cube I , Int.\ Math.\ Res.\ Not.\ IMRN 2022 (2022), no. 9, 6991--7020

    2022

  28. [36]

    Ivanisvili, T

    P. Ivanisvili, T. Tkocz , Comparison of moments of Rademacher chaoses , Arkiv f\"or Matematik, vol. 57, no. 1, pp. 121--128, 2019

    2019

  29. [37]

    Ivanisvili, A

    P. Ivanisvili, A. Volberg , From discrete flow of Beckner to continuous flow of Janson in complex hypercontractivity , J.\ Funct.\ Anal.\ 276 (2019), 2716--2730

    2019

  30. [38]

    Ivanisvili, P

    P. Ivanisvili, P. Kalantzopoulos , (P,Q) complex hypercontractivity , arXiv:2407.18053

    arXiv

  31. [40]

    Ivanisvili, A

    P. Ivanisvili, A. Volberg , Hessian of Bellman functions and uniqueness of Brascamp--Lieb inequality , J.\ Lond.\ Math.\ Soc.\ (2) 92 (2015), no. 3, 657--674

    2015

  32. [41]

    Janson , On complex hypercontractivity , J.\ Funct.\ Anal.\ 151 (1997), no

    S. Janson , On complex hypercontractivity , J.\ Funct.\ Anal.\ 151 (1997), no. 1, 270--280

    1997

  33. [42]

    M. Ledoux , Remarks on Gaussian noise stability, Brascamp--Lieb and Slepian inequalities , in Geometric Aspects of Functional Analysis, Lecture Notes in Math.\ 2116, Springer, 2014, 309--333

    2014

  34. [43]

    Lehec : Short probabilistic proof of the Brascamp-Lieb and Barthe theorems

    J. Lehec : Short probabilistic proof of the Brascamp-Lieb and Barthe theorems . Canad.\ Math.\ Bull.\ 57 (2014), 585--597

    2014

  35. [44]

    Lieb , Gaussian kernels have only Gaussian maximizers , Invent.\ Math.\ 102 (1990), no

    E.H. Lieb , Gaussian kernels have only Gaussian maximizers , Invent.\ Math.\ 102 (1990), no. 1, 179--208

    1990

  36. [45]

    Mendel, A

    M. Mendel, A. Naor : Nonlinear spectral calculus and super-expanders . Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci.\ 119 (2014), 1--95

    2014

  37. [46]

    Mossel, R

    E. Mossel, R. O'Donnell, K. Oleszkiewicz , Noise stability of functions with low influences: invariance and optimality , Ann.\ of Math.\ (2) 171 (2010), no. 1, 295--341

    2010

  38. [47]

    Mossel, J

    E. Mossel, J. Neeman , Robust optimality of Gaussian noise stability , J.\ Eur.\ Math.\ Soc.\ 17 (2015), no. 2, 433--482

    2015

  39. [48]

    Neeman , A multidimensional version of noise stability , Electron.\ Commun.\ Probab.\ 19 (2014), no

    J. Neeman , A multidimensional version of noise stability , Electron.\ Commun.\ Probab.\ 19 (2014), no. 43, 1--10

    2014

  40. [49]

    Neeman, G

    J. Neeman, G. Paouris , An interpolation proof of Ehrhard's inequality , Electron.\ Commun.\ Probab.\ 21 (2016), no. 43, 1--12

    2016

  41. [50]

    Nelson , The free Markoff field , J.\ Funct.\ Anal.\ 12 (1973), 211--227

    E. Nelson , The free Markoff field , J.\ Funct.\ Anal.\ 12 (1973), 211--227

    1973

  42. [51]

    Weissler , Two-point inequalities, the Hermite semigroup and the Gauss--Weierstrass semigroup , J.\ Funct.\ Anal.\ 32 (1979), 102--121

    F.B. Weissler , Two-point inequalities, the Hermite semigroup and the Gauss--Weierstrass semigroup , J.\ Funct.\ Anal.\ 32 (1979), 102--121

    1979

  43. [52]

    Anantharam, V

    V. Anantharam, V. Jog, and C. Nair , Unifying the brascamp-lieb inequality and the entropy power inequality , IEEE Transactions on Information Theory 68 (2022), no. 12, 7665–7684

    2022

  44. [53]

    Barthe : On a reverse form of the Brascamp-Lieb inequality

    F. Barthe : On a reverse form of the Brascamp-Lieb inequality . Invent. Math. 134 (1998), 335–361

    1998

  45. [54]

    K. I. Babenko , An inequality in the theory of Fourier integrals , Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 25 (1961), no. 4, 531–542

    1961

  46. [55]

    Barthe, D

    F. Barthe, D. Cordero-Erausquin : Inverse Brascamp-Lieb inequalities along the heat equation. Geometric aspects of functional analysis, 65-71, Lecture Notes in Math., 1850, Springer, Berlin, 2004

    2004

  47. [56]

    Barthe, D

    F. Barthe, D. Cordero-Erausquin, M. Ledoux and B. Maurey . Corellation and Brascamp-Lieb inequalities for Markov semigroups . Int. Math. Res. Not., 10, pp. 2177-2216. (2011)

    2011

  48. [57]

    Barthe, N

    F. Barthe, N. Huet : On Gaussian Brunn-Minkowski inequalities . Studia Math. 191 (2009), 283–304

    2009

  49. [58]

    Barthe, P

    F. Barthe, P. Wolff , Positive Gaussian kernels also have Gaussian minimizers , Mem. Am.Math. Soc., 276 76 (1359) (2022)

    2022

  50. [59]

    Bannett, T

    G. Bannett, T. Beaz, and A. Carbery , On the failure of monotonicity in heat flow interpolation for the Hausdorff--Young inequality , Math. Res. Lett. 15 (2008), no. 6, 1087--1094

    2008

  51. [60]

    Borell , Positivity improving operators and hypercontractivity , Math

    C. Borell , Positivity improving operators and hypercontractivity , Math. Z. 180 (1982), no. 2, 225–234. MR 661699 (84b:47029)

    1982

  52. [61]

    Borell , Geometric bounds on the Ornstein-Uhlenbeck velocity process , Z

    C. Borell , Geometric bounds on the Ornstein-Uhlenbeck velocity process , Z. Wahrsch. Verw. Gebiete, 70 (1985), no. 1, 1--13

    1985

  53. [62]

    Beckner , Inequalities in Fourier Analysis , Ann

    W. Beckner , Inequalities in Fourier Analysis , Ann. of Math. vol. 102, no. 1, pp. 159–182 (1975)

    1975

  54. [63]

    Bennett, N

    J. Bennett, N. Bez and A. Carbery . Heat-flow monotonicity related to the Hausdorff-Young inequality . Bull. Lond. Math. Soc., 41, no. 6, pp. 971-979, (2009)

    2009

  55. [64]

    Bennett, T

    J. Bennett, T. Carbery, M. Christ, T. Tao The Brascamp–Lieb Inequalities: Finiteness, Structure and Extremals . Geom. Funct. Anal. 17 (2008), 1343–1415

    2008

  56. [65]

    Brascamp, E.H

    H.J. Brascamp, E.H. Lieb : Best constants in Young’s inequality, its converse, and its generalization to more than three functions . Adv. Math. 20 (1976), 151-173

    1976

  57. [66]

    Bonami , \'Etude des coefficients de Fourier des fonctions de L^p(G) , Ann

    A. Bonami , \'Etude des coefficients de Fourier des fonctions de L^p(G) , Ann. Inst. Fourier, vol. 20, pp. 335–402 (1970)

    1970

  58. [67]

    H. J. Brascamp and E. H. Lieb , On extensions of the Brunn–Minkowski and Prékopa–Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation , J. Funct. Anal., 22 (1976), no. 4, 366--389

    1976

  59. [68]

    A. Carbery . The Brascamp-Lieb inequalities : Recent Developments. Nonlinear Analysis, Function Spaces and Applications, 8, pp. 9-34, Czech Academy of Sciences, Mathematical Institute, Praha, (2007)

    2007

  60. [69]

    E. A. Carlen and D. Cordero-Erausquin . Subadditivity of the entropy and its relation to Brascamp-Lieb type inequalities . Geom. Funct. Anal., 19, no. 2, pp. 373-405, (2009)

    2009

  61. [70]

    Carlen, E.H

    E. Carlen, E.H. Lieb, M. Loss : A sharp analog of Young’s inequality on SN and related entropy inequalities . J. Geom. Anal., 14 (2004), 487-520

    2004

  62. [71]

    older and reverse H\

    W.K. Chen, N. Dafnis, G. Paouris . Improved H\"older and reverse H\"older inequalities for correlated Gaussian random vectors , Adv. Math. 280 (2015), 643–689

    2015

  63. [72]

    Courtade, J

    T.A. Courtade, J. Liu : Euclidean forward-reverse Brascamp-Lieb inequalities : finiteness, structure, and extremals. J. Geom. Anal., 31 (2021), 3300–3350

    2021

  64. [73]

    A. De, E. Mossel, and J. Neeman , Majority is stablest: Discrete and SoS , Theory of Computing, 12 (2016), Article 4, 1--50

    2016

  65. [74]

    J. B. Epperson , The hypercontractive approach to exactly bounding an operator with complex Gaussian kernel , Journal of Functional Analysis, Vol. 87, Issue 1, 1-30 (1989)

    1989

  66. [75]

    Eskenazis, P

    A. Eskenazis, P. Ivanisvili, , Dimension independent Bernstein--Markov inequalities in Gauss space , Journal of Approximation Theory, Volume 253, (2020)

    2020

  67. [76]

    Eskenazis, P

    A. Eskenazis, P. Ivanisvili, , Sharp growth of the Ornstein-Uhlenbeck operator on Gaussian tail spaces. , Israel Journal of Mathematics

  68. [77]

    Eskenazis and P

    A. Eskenazis and P. Ivanisvili , Polynomial inequalities on the Hamming cube , Probability Theory and Related Fields, 178(1–2):235–287, 2020

    2020

  69. [78]

    Gross , Logarithmic Sobolev inequalities , Amer

    L. Gross , Logarithmic Sobolev inequalities , Amer. J. Math., 97, pp. 1061–1083 (1975)

    1975

  70. [79]

    Hardy, J.E

    G.B. Hardy, J.E. Littlewood, G. P\'olya , Inequalities , second ed., Cambridge University Press, Cambridge, 1952

    1952

  71. [80]

    Y. Hariya , A unification of the hypercontractivity and its exponential variant of the Ornstein--Uhlenbeck semigroup , Journal of Functional Analysis Volume 275, Issue 10, Pages 2647--2683 (2018)

    2018

  72. [81]

    Ivanisvili , Boundary value problem and the Ehrhard inequality , Studia Math., 246 (2019), no

    P. Ivanisvili , Boundary value problem and the Ehrhard inequality , Studia Math., 246 (2019), no. 3, 241--260

    2019

  73. [82]

    Ivanisvili, F

    P. Ivanisvili, F. Nazarov , On Weissler's conjecture on the Hamming cube I , International Mathematics Research Notices, Volume 2022, Issue 9, May 2022, Pages 6991--7020

    2022

  74. [83]

    Ivanisvili, T

    P. Ivanisvili, T. Tkocz , Comparison of moments of Rademacher chaoses , accepted to Arkiv for Matematik (2018)

    2018

  75. [84]

    Ivanisvili, A

    P. Ivanisvili, A. Volberg , From discrete flow of Beckner to continuous flow of Janson in complex hypercontractivity , Journal of Functional Analysis, 276, pp. 2716-2730 (2019)

    2019

  76. [85]

    Ivanisvili and A

    P. Ivanisvili and A. Volberg , Bellman partial differential equation and the hill property for classical isoperimetric problems , arXiv preprint arXiv:1506.03409 (2015)

    2015 arXiv

  77. [86]

    Ivanisvili and A

    P. Ivanisvili and A. Volberg , Hessian of Bellman functions and uniqueness of Brascamp--Lieb inequality , J. London Math. Soc., 92 (2015), no. 3, 657--674

    2015

  78. [87]

    Janson , On complex hypercontractivity , J

    S. Janson , On complex hypercontractivity , J. Funct. Anal. 151 (1997), no. 1, 270–280

    1997

  79. [88]

    Ledoux , Remarks on Gaussian noise stability, Brascamp--Lieb and Slepian inequalities , Geometric Aspects of Functional Analysis, Lecture Notes in Math., 2116 , Springer, 2014, pp

    M. Ledoux , Remarks on Gaussian noise stability, Brascamp--Lieb and Slepian inequalities , Geometric Aspects of Functional Analysis, Lecture Notes in Math., 2116 , Springer, 2014, pp. 309--333

    2014

  80. [89]

    Lehec : Short probabilistic proof of the Brascamp-Lieb and Barthe theorems

    J. Lehec : Short probabilistic proof of the Brascamp-Lieb and Barthe theorems . Canad. Math. Bull., 57 (2014), 585-597

    2014

  81. [90]

    E. H. Lieb , Gaussian kernels have only Gaussian maximizers , Invent. Math., vol. 102, issue 1, pp. 179–208 (1990)

    1990

  82. [91]

    Mendel, A

    M. Mendel, A. Naor : Nonlinear spectral calculus and super-expanders . Publ. Math. Inst. Hautes \'Etudes Sci., 119:1–95, 2014

    2014

  83. [92]

    Mossel, R

    E. Mossel, R. O'Donnell, and K. Oleszkiewicz , Noise stability of functions with low influences: invariance and optimality , Ann. of Math. (2), 171 (2010), no. 1, 295--341

    2010

  84. [93]

    Mossel and J

    E. Mossel and J. Neeman , Robust optimality of Gaussian noise stability , J. Eur. Math. Soc., 17 (2015), no. 2, 433--482

    2015

  85. [94]

    Neeman , A multidimensional version of noise stability , Electron

    J. Neeman , A multidimensional version of noise stability , Electron. Commun. Probab., 19 (2014), no. 43, 1--10

    2014

  86. [95]

    Neeman and G

    J. Neeman and G. Paouris , An interpolation proof of Ehrhard's inequality , Electron. Commun. Probab., 21 (2016), no. 43, 1--12

    2016

  87. [96]

    Nelson , The free Markoff field , Journal of Functional Analysis, vol

    E. Nelson , The free Markoff field , Journal of Functional Analysis, vol. 12, pp. 211–227 (1973)

    1973

  88. [97]

    F. B. Weissler , Two-point inequalities, the Hermite semigroup and the Gauss-Weierstrass semigroup , J. Funct. Anal. 32 (1979), 102-121

    1979

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.