{"entities":{"Q2035563":{"pageid":2046305,"ns":120,"title":"Item:Q2035563","lastrevid":57703227,"modified":"2026-03-31T23:57:20Z","type":"item","id":"Q2035563","labels":{"en":{"language":"en","value":"A relatively short self-contained proof of the Baker-Campbell-Hausdorff theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363318"}},"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":"Q2035563$FFB24067-94EB-4610-9816-C240650E1213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a59014574e8ecac7718507d19aaaf427b207ab0","datavalue":{"value":{"text":"A relatively short self-contained proof of the Baker-Campbell-Hausdorff theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2035563$1804220F-C6C1-4CC5-93A5-71256042CE12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"732951fe54ba725c00264ed2a2657cee17837bda","datavalue":{"value":"1504.17006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035563$C813CBA5-A745-4E01-93E9-7E103DB060DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2112c1a79f70fd141fe2dee491fd316f1d52a81","datavalue":{"value":{"entity-type":"item","numeric-id":189404,"id":"Q189404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035563$F255375E-5F8B-452B-A54F-A4C9604B9960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2035563$BCB1A22E-7D32-4E77-93EE-C2900B4BB135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8805e48b85251dfcd04cc4f5f87b5b47ee147113","datavalue":{"value":"https://arxiv.org/abs/2005.00855","type":"string"},"datatype":"url"},"type":"statement","id":"Q2035563$4DCD9081-D4F9-4400-B9A7-E10FA50B9CD0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21ef2d7232609a894c5bcbacc0872b5649a7eb63","datavalue":{"value":"I describe the subject of study and the essence of the results of this paper quoted from this paper. \\begin{itemize} \\item The subject of study is quoted from the abstract:  ``We give a new purely algebraic proof of the Baker-Campbell-Hausdorff theorem, which states that the homogeneous components of the formal expansion of log\\((e^{A}e^{B} )\\) are Lie polynomials.''  \\item The notation \\(\\mathbb{Q}\\langle \\langle \\mathcal{A} \\rangle \\rangle\\) is quoted below:  ``Let \\(\\mathbb{Q}\\langle \\langle \\mathcal{A} \\rangle \\rangle\\) denote the ring of formal power series with rational coefficients in non-commuting variables from a set \\(\\mathcal{A}\\). We assume that the set \\(\\mathcal{A}\\) is finite and contains at least two elements. In this ring exponential and logarithm functions are defined by their power series expansions \\[ \\exp(X)=e^{X}=\\sum_{n=0}^{\\infty}\\frac{1}{n!}X^{n}, \\qquad \\log(1+X)=\\sum_{n=1}^{\\infty}\\frac{(-1)^{n+1}}{n}X^{n} \\] for elements \\(X\\) of \\(\\mathbb{Q}\\langle \\langle \\mathcal{A} \\rangle \\rangle\\) without constant term.'' (\\(\\mathbb{Q}\\) is a basic field).  \\item The essence of the proof of BCH theorem is quoted below:  ``For two non-commuting variables \\(A\\), \\(B\\) we consider the formal expansion of \\[ C = \\log(e^{A}e^{B}) = C1 + C2 + \\cdots \\tag{1} \\] in \\(\\mathbb{Q}\\langle \\langle A, B \\rangle \\rangle\\), where for each \\(n \\ge 1\\) all terms of degree \\(n\\) are collected in the homogeneous polynomial \\(C_{n}\\) of degree \\(n\\). The Baker-Campbell-Hausdorff (BCH) theorem states that each of these polynomials \\(C_{n}\\) can be written as a Lie polynomial, i.e., a linear combination of \\(A\\) and \\(B\\) and (possibly nested) commutator terms in \\(A\\) and \\(B\\). \\[ [B, C_{n}]=\\sum_{m=2}^{n}\\sum_{\\substack{k_{1}+\\cdots +k_{m}\\\\ k_{j}\\ge 1}}\\mathrm{ad}_{c_{k_1}}\\circ \\mathrm{ad}_{c_{k_2}}\\circ \\cdots \\circ \\mathrm{ad}_{c_{k_{m}}}(B)-\\frac{1}{n!}\\mathrm{ad}_{A}^{n}(B).\\tag{3} \\] Here we make two observations: \\begin{itemize} \\item[1.] Provided equation (3) can be uniquely solved for \\(C_{n}\\) , it can be used as a recurrence formula for the computation of the \\(C_{n}\\) . \\item[2.] If we assume that all \\(C_{k}\\) for \\(k < n\\) are Lie polynomials in \\(A\\), \\(B\\), then it is obvious that the right-hand side of (3) is also a Lie polynomial. If we can show that \\(C_{n}\\) is a Lie polynomial provided \\([B, C_{n} ]\\) is a Lie polynomial, then, using induction on \\(n\\), this leads to a proof of the BCH theorem.'' \\end{itemize} \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035563$9B34D5DB-3394-4203-967B-B033165F0A58","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"904cbf336083be15ebd6f2022db8ea4e35afe89d","datavalue":{"value":{"entity-type":"item","numeric-id":789070,"id":"Q789070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035563$8218095B-C428-4328-A894-3325E1F23163","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035563$73A8A954-7D30-4357-967E-A62D2A6906FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"520e588245d608b63434c0817e320afcbd24b79d","datavalue":{"value":"7363318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035563$6F453895-AA80-4DB8-BCA8-9C429B068AC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed33f4fed5a4162a7136e343cfacca717259b7a1","datavalue":{"value":"Baker-Campbell-Hausdorff theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035563$7BD5143F-2784-48B0-A572-BE3A9DB4E033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845ffe2018bbeccfa922881000ed58c72bcd9ee0","datavalue":{"value":"free Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035563$7A018A96-9974-43ED-83BB-7EDAA5AA15F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ac05a1aa9ddff2ef72eb731bbf1b1368a6367a","datavalue":{"value":"Lie polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035563$E48D1859-F30A-44F1-951D-014350388F6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59b9966b78a12486399339d0c153e02c54f6bbb4","datavalue":{"value":{"entity-type":"item","numeric-id":398603,"id":"Q398603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035563$8217AE4C-0DFB-4959-8D9D-784AB430E9FE","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":"Q2035563$42B0AC52-CC45-492E-BE69-4540B8CFD8CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc0824d8b945aaea03570639bbc6f832bd77db96","datavalue":{"value":"W3023504859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035563$ED43EAA5-A1C7-4284-B792-29737F8336DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6527ccd5473dca1d81d65a05286d1d189e793d5","datavalue":{"value":{"entity-type":"item","numeric-id":2527280,"id":"Q2527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035563$050FA6C1-FD57-4F42-8816-B0B9380E30BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca9bfd9278fe94406b0eb6d8a19d3c3d83dd58f","datavalue":{"value":{"entity-type":"item","numeric-id":3134850,"id":"Q3134850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035563$D83CA27F-5760-4E4D-ADA4-DAB165D182B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c3136e33b687a50e9b17d7986f4949cfebebf57","datavalue":{"value":"10.1016/J.EXMATH.2020.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035563$73D5449C-E0E8-40FD-8165-FF8ADB0DE741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77153800153877a19e8b797f881e8285f1260cf","datavalue":{"value":{"entity-type":"item","numeric-id":4831735,"id":"Q4831735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af019fe8a0183ba88d0365884ff0d1eb6362e346","datavalue":{"value":{"amount":"+0.9141103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$9A18FCE1-950C-4247-948A-22EC2DF61981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5044b4253c36e65ff37f3a7b37144564606bb631","datavalue":{"value":{"entity-type":"item","numeric-id":1272106,"id":"Q1272106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23981fa9e73149712104728ac55d1f0ef1ae4f26","datavalue":{"value":{"amount":"+0.88064384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$2D6B2D64-179C-49F7-8B29-35B2A86E2C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6a6fc1478196f239324b51500e028d75a94d18","datavalue":{"value":{"entity-type":"item","numeric-id":420535,"id":"Q420535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70068fb1627e7521645901f188ecd83042f3427","datavalue":{"value":{"amount":"+0.8802274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$FED00E7B-E981-4D28-B0FB-DF8A15A5E656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe08aaf60f652dcd4cf0a8aa779c430787b1f169","datavalue":{"value":{"entity-type":"item","numeric-id":3219508,"id":"Q3219508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c84384aba86664a4252dce0161b1b36d4d44be8","datavalue":{"value":{"amount":"+0.870047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$3792E81F-6763-4C9E-813D-E6635531127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240b53112e417a45b1a761adf498a3ce3df6e95c","datavalue":{"value":{"entity-type":"item","numeric-id":3062902,"id":"Q3062902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1c9a5199c741cf9fb9951060ad992ff56a69a7","datavalue":{"value":{"amount":"+0.86787415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$751E3BE6-5665-4165-BD9E-DF9A65430600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c161817308c8f50d77936588f03289376fa2e167","datavalue":{"value":{"entity-type":"item","numeric-id":1595462,"id":"Q1595462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151e0404ec7c23891e42638b5806977c70027d18","datavalue":{"value":{"amount":"+0.86437523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$4CA12F5F-434B-4695-BE6C-78C4DEEC4E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7631a3177280209d6995aaab308448f24619805","datavalue":{"value":{"entity-type":"item","numeric-id":5169913,"id":"Q5169913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074664b8f599d56cb4a3946e95a048bb375657ba","datavalue":{"value":{"amount":"+0.8628311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$6046FE2E-CD07-4B0B-ABF0-6635D450ED2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7839baf3a6f6e3ffe8e7abdf07ba1d03e84cc4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4862920,"id":"Q4862920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fa5363a8284d643794c9dd4c43eeb3e5121b6a","datavalue":{"value":{"amount":"+0.861868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$C6AD6635-9CF9-4F1D-A889-FBEA51F835A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82403bac92ffddd1ba6507aa590f5d85092cd845","datavalue":{"value":{"entity-type":"item","numeric-id":3779279,"id":"Q3779279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883d4d67620824683eff9fd31ddb4dd2cbc82d1c","datavalue":{"value":{"amount":"+0.8595778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$BF1D8AB8-3FFA-404E-9DDC-F97939540E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba31ee91522a8e53a41ab3493742797dde231295","datavalue":{"value":{"entity-type":"item","numeric-id":3623350,"id":"Q3623350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa5905bcff66e06e631070895e7bff3a0ec5d7f","datavalue":{"value":{"amount":"+0.85946846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2035563$9505DEAF-2B03-4E1D-9C60-FA82E2F63F4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2035563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2035563"}}}}}