{"entities":{"Q516115":{"pageid":517882,"ns":120,"title":"Item:Q516115","lastrevid":57077583,"modified":"2026-03-26T12:32:22Z","type":"item","id":"Q516115","labels":{"en":{"language":"en","value":"Stochastic analysis on sub-Riemannian manifolds with transverse symmetries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696265"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516115$5B1DB961-81DD-41F6-92D6-5897076D635F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1789868f7870bd9b8840eab354b3a90553276b16","datavalue":{"value":{"text":"Stochastic analysis on sub-Riemannian manifolds with transverse symmetries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q516115$8CBD5825-1A4C-4287-8BF0-BE24D5047D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31db40abe1c153a4a9950ffe08654a8060032fe1","datavalue":{"value":"1386.58019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$B75933C3-20CD-4E42-A863-E6052B6B6497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6b5a347144fd6fe55934fdcf1bf910221722c5d","datavalue":{"value":"10.1214/14-AOP964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$BADC9600-7B3C-4B9C-9C2A-297465028F28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba45b3967d3e24ccfcb55f141f957dad5778f0c1","datavalue":{"value":{"entity-type":"item","numeric-id":246814,"id":"Q246814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516115$12DA0842-8717-4322-A469-96C09AE63924","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c9d829dece3e2d330deed49a6cb836edc666e294","datavalue":{"value":{"entity-type":"item","numeric-id":107063,"id":"Q107063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516115$14D7CB64-30C4-4DA9-98F6-02B5C9C276FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5a8a3ac41ce533fa5c1881f7f5e9144ec9aee6c","datavalue":{"value":{"time":"+2017-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q516115$8F477AEC-1906-4A32-BA10-3CF738064214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bd4a979f8a136c541fe4376bff0f9ee33dafadf","datavalue":{"value":"https://arxiv.org/abs/1402.4490","type":"string"},"datatype":"url"},"type":"statement","id":"Q516115$67065C5A-E6FD-4F6A-96D0-341647EEA33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e3694b31c5c945ee03a72842bfe487b94df675c","datavalue":{"value":"https://projecteuclid.org/euclid.aop/1485421328","type":"string"},"datatype":"url"},"type":"statement","id":"Q516115$D6D59FF5-A2ED-4DC8-B035-AE787F00312E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0492249ac90453babb49c97d1f66048c2e338f5","datavalue":{"value":"This paper treats a geometrically meaningful stochastic representation of the derivative of the heat semigroup on sub-Riemannian manifolds with transverse symmetries. This representation is closely related to the study of Bochner-Weitzenb\u00f6ck type formulas for sub-Laplacians on one-forms. More precisely, a sub-Riemannian manifold is a smooth manifold \\({\\mathbb M}\\) equipped with a nonholonomic subbundle \\({\\mathcal H}\\) \\(\\subset\\) \\(T {\\mathbb M}\\) and a fiber inner product \\(g_{ {\\mathcal H} }\\). The sub-Laplacian \\(L\\) is essentially self-adjoint on \\(C_0^{\\infty}( {\\mathbb M} )\\), and \\(P_t\\) \\(=\\) \\(e^{ (1/2)t L}\\) is the semigroup generated by \\(\\frac{1}{2} L\\). Note that the semigroup \\(P_t\\) is stochastically complete. The operator \\(\\square_{\\varepsilon}\\) is defined on one-forms by the formula  \\[  \\square_{\\varepsilon} := - ( \\nabla_{ {\\mathcal H}} - {\\mathfrak T}_{ {\\mathcal H}}^{\\varepsilon} )^* ( \\nabla_{ {\\mathcal H}} - {\\mathfrak T}_{ {\\mathcal H}}^{\\varepsilon} ) + \\frac{1}{ 2 \\varepsilon} J^* J - {\\mathcal R}ic_{ {\\mathcal H} }, \\tag{1}  \\]  where \\(\\nabla_{ {\\mathcal H} }\\) is the horizontal gradient in a local adapted frame of one-form \\(\\eta\\), \\(J^* J\\) is the identity map on the horizontal distribution, \\({\\mathcal R}ic_{ {\\mathcal H}}\\) is the fiberwise symmetric linear map on one-forms, and \\({\\mathfrak T}_{ {\\mathcal H}}^{\\varepsilon}\\) is the fiberwise linear map on one-forms. Note that for \\(f \\in C_0^{\\infty}( {\\mathbb M} )\\), we have the equality  \\[  d P_t f = Q_t^{\\varepsilon} d f \\tag{2}  \\]  for every \\(t \\geq 0\\). Then \\(\\eta_t = Q_t^{\\varepsilon} df\\) is the unique solution in \\(L^2\\) of the heat equation  \\[  \\frac{ \\partial \\eta}{ \\partial t} = \\frac{1}{2} \\square_{\\epsilon} \\eta \\tag{3}  \\]  with initial condition \\(\\eta_0 = d f\\). Here is the main theorem. \\newline  \\textbf{Theorem.} Let \\(\\eta\\) be a smooth and compactly supported one-form. Then for every \\(t \\geq 0\\) and \\(x \\in {\\mathbb M}\\),  \\[  ( Q_t^{\\varepsilon} \\eta )(x) = {\\mathbb E}_x [ \\tau_t^{\\varepsilon} \\eta( X_t) ], \\tag{4}  \\]  where the process \\(\\tau_t^{\\varepsilon}\\) : \\(T_{ X_t}^* {\\mathbb M}\\) \\(\\to\\) \\(T_{ X_0}^* {\\mathbb M}\\) is the solution of the covariant Stratonovich stochastic differential equation  \\[  d [ \\tau_t^{\\varepsilon} \\alpha( X_t)] = \\tau_t^{\\varepsilon} \\left\\{ \\nabla_{ \\circ d X_t} - {\\mathfrak T}_{\\circ d X_t}^{\\varepsilon} + \\frac{1}{2} \\left( \\frac{1}{ 2 \\varepsilon} J^* J - {\\mathcal R}ic_{ {\\mathcal H}} \\right) dt \\right\\} \\alpha( X_t), \\tag{5}  \\]  with \\(\\tau_0^{\\varepsilon} = Id\\), where \\(\\alpha\\) is any smooth one-form.  As a consequence, the author proves new hypoelliptic heat semigroup gradient bounds under natural global geometric condition. For other related works, see e.g. [\\textit{F. Baudoin} et al., Math. Ann. 358, No. 3--4, 833--860 (2014; Zbl 1287.53025)] for a sub-Riemannian curvature-dimension inequality and the Poincar\u00e9 inequality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q516115$83E44E1D-29D2-46A7-B104-7D0C98A950D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"017530053cdce0db1ed588563a178c9e95e3ac09","datavalue":{"value":{"entity-type":"item","numeric-id":190604,"id":"Q190604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516115$FEA519AC-C3AB-489F-9C0B-8692E5F75B7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d5f2702cb60044854a487cc5b8cae5554610f18","datavalue":{"value":"58J65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$4A8ED6E5-030E-49A5-9208-AE2B5FBD03FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eca2665a2b410bb164e65b25a90c788c17f2c10f","datavalue":{"value":"53C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$A12D1874-03EF-40F2-B50E-2D6CFA1BDFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2823797a7ed5886f5555bd10af24fd0d7821c4f3","datavalue":{"value":"60J60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$867C942C-3294-41AE-B697-944B805C01A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16795ab6c8aca72ad8c6a52773d91c0bb55f86f5","datavalue":{"value":"6696265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$26DB32BE-D729-4C07-8CD0-80F12615C640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8614bf31aab7a804d40f47fee75a9a8059d4af5","datavalue":{"value":"Brownian motion","type":"string"},"datatype":"string"},"type":"statement","id":"Q516115$A720947C-8A89-4AD1-A010-B642D0B634F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8df3fccdc0df311da454b8a1a590e17f6094968","datavalue":{"value":"sub-Riemannian manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q516115$543BC9D5-93C6-4BB8-98C4-B003B02BE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efbd6993cb8c5ec4ace0d776a5551df7d6e76fe","datavalue":{"value":"Bochner-Weitzenbock formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q516115$11E9AAE1-DF5E-4A3F-8B0B-9308494CDAC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f327f62c5568035397f5790b8b8b841643fd66c","datavalue":{"value":"Q115240853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$B8D6D554-DF8F-4B0C-883A-CF8F3D55F439","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516115$FB645182-FC5B-4324-B2EE-166DCEAC8AF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbab6cb36aa87906163393b4931128281328bcfd","datavalue":{"value":"W1505321736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516115$92405EB9-2B90-4692-9028-EBBD5C0C3C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de0d07d104cfeb8f71146f423c59e69e6a70ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2315970,"id":"Q2315970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d4317887c152139cd3e5624131ee3a5ad6b2a7","datavalue":{"value":{"amount":"+0.8192371129989624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516115$F2594CA3-6EA0-4A4B-AA7E-90274BDFDC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96391230ae7d250317457259d0328e55440b0ed6","datavalue":{"value":{"entity-type":"item","numeric-id":907922,"id":"Q907922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93493ce690cd2eb9e657485bafcd89959f1b2512","datavalue":{"value":{"amount":"+0.7445880770683289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516115$F0DCBD92-AF9C-48CE-A1C0-3F4C006E0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d0a20937972642c01f5f3828d1e2e8ae76603a","datavalue":{"value":{"entity-type":"item","numeric-id":1928879,"id":"Q1928879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7a50b92b14e8ac8165c9f2b99aa23e8327393f","datavalue":{"value":{"amount":"+0.7414422035217285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516115$F7DB055A-DC7A-4047-9828-23AB54677FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71096a3b3e87a3fd270143b062983c33f4cfff3","datavalue":{"value":{"entity-type":"item","numeric-id":509105,"id":"Q509105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58134868bb88b1792be0db6f37271ffea9a3f4a2","datavalue":{"value":{"amount":"+0.7410501837730408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516115$99C877A1-B80A-4D85-865F-0AF8A4895E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b560d25bc26b608743a0a5a3f63e2a5d46b87e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3416950,"id":"Q3416950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b4ab29aaaf9d9a7cf3d8d68b1832ac05741717","datavalue":{"value":{"amount":"+0.7395402193069458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516115$AFA4BA3A-2B87-477D-AEB9-598D8501F7F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:516115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:516115"}}}}}