Cotlar martingale transforms and related singular integrals
Pith reviewed 2026-05-10 17:13 UTC · model grok-4.3
The pith
The Cotlar identity extends to martingale transforms, showing that Riesz transforms share the Hilbert transform's analytic structure in odd dimensions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes the Cotlar identity in the setting of martingale transforms and in particular for conformal martingales. Together with the probabilistic representation of the Riesz transforms, this shows that at the level of martingale transforms and in odd dimensions they exhibit the same analytic-type structure as the Hilbert transform on the real line, so that Cotlar's proof of the sharp L^p inequality for powers of 2 applies. Independently, it is shown that in the limit as p approaches infinity the L^p norm of the vector of Riesz transforms coincides asymptotically with that of the Hilbert transform.
What carries the argument
The Cotlar identity adapted to martingale transforms, proved elementarily and transferring the algebraic relations from the one-dimensional Hilbert transform via probabilistic representations of Riesz transforms.
If this is right
- Cotlar's proof of the sharp L^p inequality for powers of 2 applies directly to the martingale transforms in odd dimensions.
- The vector of Riesz transforms exhibits the same analytic-type structure as the Hilbert transform at the martingale level in odd dimensions.
- The L^p norm of the vector of Riesz transforms coincides asymptotically with the norm of the Hilbert transform as p tends to infinity.
- The martingale viewpoint supplies a new structural lens for examining related singular integral operators and their norms.
Where Pith is reading between the lines
- The elementary proof of the martingale version might allow similar identities to be derived for other probabilistically representable singular integrals.
- If the structure generalizes, it could supply bounds or identities useful for the Beurling-Ahlfors operator by examining appropriate conformal martingales.
- The asymptotic norm agreement suggests that high-p behavior of vector Riesz transforms is governed by the same one-dimensional mechanism as the Hilbert transform.
Load-bearing premise
The probabilistic representation of the Riesz transforms preserves the exact algebraic relations needed for the Cotlar identity to transfer verbatim from the one-dimensional Hilbert transform to the higher-dimensional case.
What would settle it
A concrete calculation demonstrating that the Cotlar identity fails to hold for a specific conformal martingale transform of the Riesz transforms in an odd dimension would disprove the claimed structural equivalence.
read the original abstract
The "magical" identity discovered by M.~Cotlar in 1955 for the Hilbert transform is established here in the setting of martingale transforms and, in particular, for conformal martingales. This, together with the probabilistic representation of the Riesz transforms, shows that, at the level of martingale transforms and in odd dimensions, they exhibit the same analytic-type structure as the Hilbert transform on the real line. Consequently, Cotlar's proof of the sharp $L^p$ inequality for powers of $2$ applies. The significance of the martingale Cotlar identity, whose proof is entirely elementary, does not lie in providing an alternative proof of this well-known and relatively simple estimate, but rather in the structural viewpoint it reveals. This structure is explored further. Independent of Cotlar's identity, asymptotic bounds for the $L^p$ norm of the vector of Riesz transforms are investigated. It is shown that, in the limit as $p\to\infty$, this norm coincides asymptotically with that of the Hilbert transform on the real line. The study of the Cotlar identity in the martingale setting is motivated by the desire to gain new insight into two longstanding open problems: T.~Iwaniec's 1983 conjecture on the norm of the Beurling-Ahlfors operator and the problem of determining the sharp constant in E.~M.~Stein's 1984 inequality for the vector of Riesz transforms. Related problems are also discussed. The paper contains both a survey of known results and new contributions. An effort has been made to keep the exposition as self-contained as possible and to present the material in an accessible, largely expository style.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes Cotlar's 1955 identity in the setting of martingale transforms and conformal martingales using an entirely elementary proof. Combined with the probabilistic representation of the Riesz transforms, this demonstrates that in odd dimensions the Riesz transforms exhibit the same structure as the Hilbert transform on the line at the level of martingale transforms, permitting the application of Cotlar's sharp L^p inequality for p = 2^k. Independently, the paper shows that the L^p norm of the vector Riesz transforms is asymptotically equivalent to that of the Hilbert transform as p → ∞. It surveys known results, discusses connections to open problems such as Iwaniec's conjecture on the Beurling-Ahlfors operator and Stein's inequality for Riesz transforms, and maintains a self-contained, expository style.
Significance. The results offer a valuable structural perspective on singular integrals via martingales, which may provide new insights into longstanding open problems in the field. The elementary character of the Cotlar identity proof and the independent derivation of the asymptotic bounds are particular strengths. By framing the Riesz transforms in terms of conformal martingales, the work highlights potential parallels that could inform the determination of sharp constants, even if the open problems themselves remain unresolved. The stress-test concern regarding preservation of algebraic relations does not land: the paper derives the identity directly for conformal martingales and invokes the standard probabilistic representation to transfer it verbatim without introducing dimension-dependent corrections.
minor comments (3)
- Abstract: the phrase 'the same analytic-type structure' is used without an immediate pointer to the precise algebraic relations (e.g., the specific form of the Cotlar identity) that are preserved under the martingale representation; a single sentence clarifying this would improve readability.
- The transition from the martingale Cotlar identity to the Riesz-transform application (likely in the section following the identity proof) would benefit from an explicit statement that no cross terms arise in the odd-dimensional Brownian-motion construction.
- A few instances of undefined or inconsistently used notation for quadratic variation of conformal martingales appear in the early sections; a short notation table or inline reminder would aid accessibility.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and recommendation of minor revision. The referee's summary accurately reflects the paper's contributions regarding the extension of Cotlar's identity to martingale transforms and the asymptotic equivalence of norms for the vector of Riesz transforms. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper establishes the Cotlar identity directly and elementarily for conformal martingales as a new contribution, then combines it with the pre-existing probabilistic representation of the Riesz transforms (an independent prior result) to note structural similarity to the Hilbert transform, allowing reuse of Cotlar's original proof for the L^p bound. The asymptotic norm analysis is performed separately and does not reduce to any fitted parameter or self-referential definition. No quoted step equates a derived quantity to its own input by construction, and any self-citations are not load-bearing for the central claims. The work is presented as self-contained with survey elements and new results that stand on their own against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard definition and properties of martingales and conformal martingales
- domain assumption Existence of a probabilistic representation for the Riesz transforms
Reference graph
Works this paper leans on
-
[1]
N. Arcozzi,Riesz transforms on compact lie groups, spheres and gauss space, Arkiv för Matem- atik36(1998), no. 2, 201–231
work page 1998
- [2]
- [3]
-
[4]
P. Auscher, T. Coulhon, and X. T. Duong,Riesz transform on manifolds and heat kernel regu- larity, Annales Scientifiques de l’École Normale Supérieure38(2005), no. 6, 911–957
work page 2005
-
[5]
R. Bañuelos and G. Wang,Sharp inequalities for martingales with applications to the Beurling- Ahlfors and Riesz transforms, Duke Math. J.80(1995), no. 3, 575–600. MR1370109
work page 1995
-
[6]
Bañuelos,Martingale transforms and related singular integrals, Trans
R. Bañuelos,Martingale transforms and related singular integrals, Trans. Amer. Math. Soc. 293(1986), no. 2, 547–563. MR816309
work page 1986
-
[7]
Bañuelos,A sharp good-λinequality with an application to Riesz transforms, Michigan Math
R. Bañuelos,A sharp good-λinequality with an application to Riesz transforms, Michigan Math. J.35(1988), no. 1, 117–125. MR931943
work page 1988
-
[8]
Bañuelos,The foundational inequalities of D
R. Bañuelos,The foundational inequalities of D. L. Burkholder and some of their ramifications, Illinois J. Math.54(2010), no. 3, 789–868 (2012). MR2928339
work page 2010
-
[9]
R. Bañuelos and F. Baudoin,Martingale transforms and their projection operators on mani- folds, Potential Anal.38(2013), no. 4, 1071–1089. MR3042695
work page 2013
-
[11]
R. Bañuelos, F. Baudoin, L. Chen, and Y . Sire,Multiplier theorems via martingale transforms, J. Funct. Anal.281(2021), no. 9, Paper No. 109188, 37. MR4295971
work page 2021
-
[12]
R. Bañuelos and P. Janakiraman,L p-bounds for the Beurling-Ahlfors transform, Trans. Amer. Math. Soc.360(2008), no. 7, 3603–3612. MR2386238
work page 2008
-
[13]
R. Bañuelos and M. Kwa ´snicki,On theℓ p-norm of the discrete Hilbert transform, Duke Math. J.168(2019), no. 3, 471–504. MR3909902
work page 2019
-
[14]
R. Bañuelos and M. Kwa´snicki,Theℓ p norm of the Riesz-Titchmarsh transform for even integer p, J. Lond. Math. Soc. (2)109(2024), no. 4, Paper No. e12888, 21. MR4727420
work page 2024
-
[15]
R. Bañuelos and P. J. Méndez-Hernández,Space-time Brownian motion and the Beurling- Ahlfors transform, Indiana Univ. Math. J.52(2003), no. 4, 981–990. MR2001941
work page 2003
-
[16]
R. Bañuelos and C. N. Moore,Probabilistic behavior of harmonic functions, Progress in Math- ematics, vol. 175, Birkhäuser Verlag, Basel, 1999. MR1707297
work page 1999
-
[17]
R. Bañuelos and A. Os¸ekowski,Sharp inequalities for the Beurling-Ahlfors transform on radial functions, Duke Math. J.162(2013), no. 2, 417–434. MR3018958 57
work page 2013
-
[18]
R. Bañuelos and A. Ose ¸kowski,Sharp martingale inequalities and applications to Riesz trans- forms on manifolds, Lie groups and Gauss space, J. Funct. Anal.269(2015), no. 6, 1652–1713. MR3373431
work page 2015
-
[19]
D. Bakry,étude des transformations de Riesz dans les variétés riemanniennes à courbure de Ricci minorée, Séminaire de probabilités, xxi, 1987, pp. 137–172
work page 1987
-
[20]
D. Bakry,The Riesz transforms associated with second order differential operators, Seminar on Stochastic Processes, 1988 (Gainesville, FL, 1988), 1989, pp. 1–43. MR990472
work page 1988
-
[21]
R. Bañuelos and D. Kim,Discrete analogues of second-order riesz transforms, Journal of the London Mathematical Society113(2026), no. 3, e70498
work page 2026
-
[22]
R. Bañuelos, D. Kim, and M. Kwa ´snicki,Sharpℓ p inequalities for discrete singular integrals on the lattice, Journal of Functional Analysis290(2026), no. 9, 111359
work page 2026
-
[23]
R. Bañuelos and A. Lindeman,A martingale study of the beurling–ahlfors transform inR n, Journal of Functional Analysis145(1997), no. 2, 224–265
work page 1997
-
[24]
R. Bañuelos and G. Wang,Orthogonal martingales under differential subordination and appli- cations to Riesz transforms, Illinois Journal of Mathematics40(1996), no. 4, 678–691
work page 1996
-
[25]
R. Bañuelos and G. Wang,Davis’s inequality for orthogonal martingales under differential subordination, Michigan Math. J.47(2000), no. 1, 109–124
work page 2000
-
[26]
F. Baudoin,Diffusion processes and stochastic calculus, European Mathematical Society (EMS), EMS Textbooks in Mathematics, 2014
work page 2014
-
[27]
R. Bañuelos, D. Kim, and M. Kwa ´snicki,Sharpℓ p inequalities for discrete singular integrals, 2022
work page 2022
-
[28]
R. Bañuelos and A. Os˛ ekowski,Burkholder inequalities for submartingales, bessel processes and conformal martingales, American Journal of Mathematics136(2014), no. 2, 481–520. MR3188063
work page 2014
-
[29]
A. G. Bennett,Probabilistic square functions and a priori estimates, Trans. Amer. Math. Soc. 291(1985), no. 1, 159–166. MR797052
work page 1985
-
[30]
A. Borichev, P. Janakiraman, and A. V olberg,On burkholder function for orthogonal martin- gales and zeros of legendre polynomials, Amer. J. Math.135(2013), no. 1, 207–236
work page 2013
-
[31]
A. Borichev, P. Janakiraman, and A. V olberg,Subordination by orthogonal martingales inL p and zeros of Laguerre polynomials, Duke Mathematical Journal162(2013), no. 5, 889–924. MR3043590
work page 2013
-
[32]
D. L. Burkholder,Boundary value problems and sharp inequalities for martingale transforms, Ann. Probab.12(1984), no. 3, 647–702. MR744226
work page 1984
-
[33]
A. Carbonaro and O. Dragi ˇcevi´c,Bellman function and linear dimension-free estimates in a theorem of bakry, Journal of Functional Analysis265(2013), no. 7, 1085–1104
work page 2013
-
[34]
A. Carbonaro, O. Dragi ˘cevi´c, and V . Kovaˇc,Sharpl p estimates of powers of the complex riesz transform, Mathematische Annalen386(2023), no. 1–2, 1081–1108, available atarXiv: 2109.08369
-
[35]
S.-Y . Ã. Chang, J. M. Wilson, and T. H. Wolff,Some weighted norm inequalities concerning the Schrödinger operators, Comment. Math. Helv.60(1985), no. 2, 217–246. MR800004
work page 1985
-
[36]
R. R. Coifman and G. Weiss,Transference methods in analysis, Conference Board of the Math- ematical Sciences Regional Conference Series in Mathematics31(1976). With an appendix by W. Rudin. MR0447631
work page 1976
-
[37]
Cotlar,A unified theory of Hilbert transforms and ergodic theorems, Rev
M. Cotlar,A unified theory of Hilbert transforms and ergodic theorems, Rev. Mat. Cuyana1 (1955), 105–167. MR84632
work page 1955
-
[38]
B. Davis,On the distributions of conjugate functions of nonnegative measures, Duke mathe- matical journal40(1973), no. 3, 695–700 (eng)
work page 1973
-
[39]
de Leeuw,Onl p multipliers, Annals of Mathematics81(1965), 364–379
K. de Leeuw,Onl p multipliers, Annals of Mathematics81(1965), 364–379. 58
work page 1965
-
[40]
K. Domelevo, S. Petermichl, and K. A. ˇ Skreb,Continuous sparse domination and dimension- less weighted estimates for the Bakry-Riesz vector, J. Reine Angew. Math.824(2025), 137–
work page 2025
-
[41]
S. K. Donaldson and D. P. Sullivan,Quasiconformal 4-manifolds, Acta Mathematica163 (1989), 181–252
work page 1989
-
[42]
O. Dragicevi ´c and A. V olberg,Bellman function, Littlewood-Paley estimates and asymptotics for the Ahlfors-Beurling operator inL p(C), Indiana Univ. Math. J.54(2005), no. 4, 971–995. MR2164413
work page 2005
-
[43]
O. Dragiˇ cevi ´c, S. Petermichl, and A. V olberg,A rotation method which gives linearL p esti- mates for powers of the Ahlfors-Beurling operator, J. Math. Pures Appl. (9)86(2006), no. 6, 492–509. MR2281449
work page 2006
-
[44]
O. Dragi ˇcevi´c and A. V olberg,Bellman function, Littlewood-Paley estimates and asymptotics for the Ahlfors-Beurling operator inL p(C), Indiana Univ. Math. J.54(2005), no. 4, 971–995. MR2164413
work page 2005
-
[45]
O. Dragi ˇcevi´c,Analysis of the ahlfors-beurling operator (lecture notes for the summer school at the university of seville, 2013), 2021
work page 2013
-
[46]
J. Duoandikoetxea and J. L. Rubio de Francia,Estimations indépendantes de la dimension pour les transformées de riesz, C. R. Acad. Sci. Paris Sér. I Math.300(1985), no. 7, 193–196. MR780616
work page 1985
-
[47]
R. Durrett,Brownian motion and martingales in analysis, Wadsworth Mathematics Series, Wadsworth International Group, Belmont, CA, 1984. MR750829
work page 1984
-
[48]
T. W. Gamelin,Uniform algebras and Jensen measures, Lond. Math. Soc. Lect. Note Ser., vol. 32, Cambridge University Press, Cambridge. London Mathematical Society, London, 1978 (English)
work page 1978
- [49]
-
[50]
R. K. Getoor and M. J. Sharpe,Conformal martingales, Inventiones Mathematicae16(1972), 271–308
work page 1972
-
[51]
I. Ts. Gohberg and N. Ya. Krupnik,Norm of the Hilbert transformation in theL p space, Funktsional′ny˘ı Analiz i ego Prilozheniya2(1968), no. 2, 91–92. In Russian. MR0238584
work page 1968
-
[52]
I. Gohberg and M. G. Kre ˘ın,Theory and applications of volterra operators in Hilbert space, Translations of Mathematical Monographs, vol. 24, American Mathematical Society, Provi- dence, RI, 1970. MR0264447
work page 1970
- [53]
-
[54]
Grafakos,Classical fourier analysis, 3rd ed., Springer, 2014
L. Grafakos,Classical fourier analysis, 3rd ed., Springer, 2014
work page 2014
-
[55]
Gross,Logarithmic sobolev inequalities, American Journal of Mathematics97(1975), no
L. Gross,Logarithmic sobolev inequalities, American Journal of Mathematics97(1975), no. 4, 1061–1083
work page 1975
-
[56]
R. F. Gundy and N. Th. Varopoulos,Les transformations de Riesz et les intégrales stochas- tiques, C. R. Acad. Sci. Paris Sér. A-B289(1979), no. 1, A13–A16. MR545671
work page 1979
-
[57]
R. A. Horn and C. R. Johnson,Matrix analysis, 2nd ed., Cambridge University Press, Cam- bridge, 2013
work page 2013
-
[58]
Hu,Analysis on gaussian spaces, World Scientific Publishing Company, Singapore, 2017
Y . Hu,Analysis on gaussian spaces, World Scientific Publishing Company, Singapore, 2017
work page 2017
-
[59]
T. P. Hytönen,On the norm of the beurling–ahlfors operator in several dimensions, Advances in Mathematics231(2012), no. 3-4, 1639–1649
work page 2012
-
[60]
Iwaniec,Extremal inequalities in Sobolev spaces and quasiconformal mappings, Z
T. Iwaniec,Extremal inequalities in Sobolev spaces and quasiconformal mappings, Z. Anal. Anwendungen1(1982), no. 6, 1–16. MR719167
work page 1982
-
[61]
T. Iwaniec and G. Martin,Riesz transforms and related singular integrals, J. Reine Angew. Math.473(1996), 25–57. MR1390681 59
work page 1996
-
[62]
T. Iwaniec and G. Martin,Quasiregular mappings in even dimensions, Acta Mathematica170 (1993), 29–81
work page 1993
-
[63]
T. Iwaniec and C. Sbordone,Riesz transforms and elliptic pdes with vmo coefficients, Journal d’Analyse Mathématique74(1998), 183–212
work page 1998
-
[64]
P. Janakiraman,Best weak-type(p, p)constants,1≤p≤2, for orthogonal harmonic functions and martingales, Illinois Journal of Mathematics48(2004), no. 3, 909–921
work page 2004
-
[65]
P. Janakiraman,Weak-type estimates for singular integrals and the riesz transform, Indiana University Mathematics Journal53(2004), no. 2, 533–555
work page 2004
-
[66]
P. Janakiraman,Orthogonality in complex martingale spaces and connections with the Beurling-Ahlfors transform, Illinois J. Math.54(2010), no. 4, 1509–1563. MR2981858
work page 2010
-
[67]
E. Laeng,On thel p norms of the hilbert transform of a characteristic function, Studia Mathe- matica140(2000), no. 3, 237–251
work page 2000
-
[68]
O. Lehto and K. I. Virtanen,Quasiconformal mappings in the plane, Second, Die Grundlehren der mathematischen Wissenschaften, vol. Band 126, Springer-Verlag, New York-Heidelberg,
-
[69]
Translated from the German by K. W. Lucas. MR344463
-
[70]
X.-D. Li,Martingale transforms andL p-norm estimates of riesz transforms on complete rie- mannian manifolds, Probability Theory and Related Fields141(2008), no. 1–2, 247–281
work page 2008
- [71]
-
[72]
Meyer,Transformations de Riesz pour les lois gaussiennes, Seminar on probability, XVIII, 1984, pp
P.-A. Meyer,Transformations de Riesz pour les lois gaussiennes, Seminar on probability, XVIII, 1984, pp. 179–193. MR770960
work page 1984
-
[73]
P. F. X. Müller,Hardy martingales, New Mathematical Monographs, vol. 45, Cambridge Uni- versity Press, 2020
work page 2020
-
[74]
F. Nazarov and A. V olberg,Heating of the beurling operator and estimates of its norms, St. Petersburg Mathematical Journal14(2003), no. 3, ???–???. Translation of Russian original
work page 2003
-
[75]
Nelson,The free markoff field, Journal of Functional Analysis12(1973), no
E. Nelson,The free markoff field, Journal of Functional Analysis12(1973), no. 2, 211–227
work page 1973
-
[76]
log- convexity ofΓand related inequalities (e.g., Gautschi, Kershaw)
NIST Digital Library of Mathematical Functions,Chapter 5: Gamma function, 2025. log- convexity ofΓand related inequalities (e.g., Gautschi, Kershaw)
work page 2025
-
[77]
Os˛ ekowski,Sharp logarithmic inequalities for riesz transforms, J
A. Os˛ ekowski,Sharp logarithmic inequalities for riesz transforms, J. Funct. Anal.262(2012), no. 5, 2633–2660
work page 2012
-
[78]
A. Os˛ ekowski,Survey article: Bellman function method and sharp inequalities for martingales, Rocky Mountain Journal of Mathematics43(2013), no. 6, 1759–1823
work page 2013
-
[79]
Os˛ ekowski,On the action of Riesz transforms on the class of bounded functions, Bull
A. Os˛ ekowski,On the action of Riesz transforms on the class of bounded functions, Bull. Lond. Math. Soc.44(2012), no. 6, 1205–1214
work page 2012
-
[80]
Os˛ ekowski,Sharp martingale and semimartingale inequalities, Monografie Matematyczne, vol
A. Os˛ ekowski,Sharp martingale and semimartingale inequalities, Monografie Matematyczne, vol. 72, Birkhäuser, Basel, 2012
work page 2012
-
[81]
S. K. Pichorides,On the best values of the constants in the theorems of m. riesz, zygmund and kolmogorov, Studia Mathematica44(1972), no. 2, 165–179
work page 1972
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.