{"entities":{"Q472536":{"pageid":474303,"ns":120,"title":"Item:Q472536","lastrevid":62219580,"modified":"2026-04-11T04:34:59Z","type":"item","id":"Q472536","labels":{"en":{"language":"en","value":"Lattice trace operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371141"}},"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":"Q472536$21000CB5-E1B3-4085-A887-69729CB030CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"654019f5147a880a475358c7196de31516508095","datavalue":{"value":{"text":"Lattice trace operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472536$DE0C1DEC-EAB2-44F9-9646-D819130E2079","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b22d49e1ec2e904de9572991c014920877515aa0","datavalue":{"value":"1342.47028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472536$A8DD4D57-41E4-4586-87D6-CFA90841B25E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f10d1e422978ee1f7cb1b7e0cd4a2c44af4b3b9f","datavalue":{"value":"10.1155/2014/629502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472536$76BBF8ED-4CB8-4A96-B9A2-69A97D09F14A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ed2f0c7f423f46d3d64e70ca61f8700037869c9","datavalue":{"value":{"entity-type":"item","numeric-id":472502,"id":"Q472502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$0BD8F28C-9015-4CE0-99F4-B0733BC084BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9eef5592189a73489da4c405dddbd884955f29c","datavalue":{"value":{"time":"+2014-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472536$79C41F75-04F8-4FE9-8F74-21BFAB56156F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3227b145921c0de76dda061bef8b6b9122814a5b","datavalue":{"value":"A compact operator \\(T\\) on a separable Hilbert space \\(\\mathcal{H}\\) is a trace class operator if  \\[ \\|T\\|_1 = \\sum\\limits_{j=1}^{\\infty}\\lambda_j(T) < \\infty, \\]  where \\(\\lambda_j(T)\\), \\(j \\in \\mathbb{N}\\) are the singular numbers of \\(T\\). Equivalently, \\(T\\) is a trace class operator if \\(\\sum\\limits_{j=1}^{\\infty}|\\langle Th_j,h_j\\rangle| < \\infty\\) for any orthonormal basis \\(\\{h_j\\}\\) of \\(\\mathcal{H}\\) and the trace \\(\\operatorname{tr}(T)\\) of \\(T\\) is defined as  \\[ \\operatorname{tr}(T)=\\sum\\limits_{j=1}^{\\infty}\\langle Th_j,h_j\\rangle. \\]  Let \\({\\mathcal{T}}_1(\\mathcal{H})\\) denote the collection of trace class operators on \\(\\mathcal{H}\\). Then \\({\\mathcal{T}}_1(\\mathcal{H})\\) is an operator ideal of \\(\\mathcal{H}\\) and also a Banach space with norm \\(\\|\\cdot\\|_1\\). For a \\(\\sigma\\)-finite measure space \\((\\Sigma,{\\mathcal{B}},\\mu)\\), denote by \\({\\mathcal{L}}^o(\\mu)\\) the space of all \\(\\mu\\)-equivalence classes of Borel measurable scalar functions equipped with the topology of convergence in \\(\\mu\\)-measure over sets of finite measure and vector operations are defined pointwise \\(\\mu\\)-almost everywhere. A~Banach space \\(X\\) that is a subspace of \\({\\mathcal{L}}^o(\\mu)\\) is a Banach function space based on \\((\\sum,{\\mathcal{B}},\\mu)\\) if {\\parindent=8mm \\begin{itemize}\\item[(i)] \\(X\\) is an order ideal of \\({\\mathcal{L}}^o(\\mu)\\), i.e., if \\(g \\in X, f \\in {\\mathcal{L}}^o(\\mu)\\) and \\(|f| \\leq |g|\\) \\(\\mu\\)-a.e., then \\(f \\in X\\) and \\item[(ii)] if \\(f,g \\in X\\), and \\(|f| \\leq |g|\\) \\(\\mu\\)-a.e., then \\(||f||_X \\leq ||g||_X\\).  \\end{itemize}} It is necessarily Dedekind complete (i.e, every bounded set has a sup and inf). A~continuous operator \\(T : X \\rightarrow X\\) is said to be positive if \\(T : X_+ \\to X_+\\), where \\(X_+\\) is the set of all \\(f \\in X\\) with \\(f \\geq 0\\) \\( \\mu\\)-a.e. Let \\({\\mathcal{L}}_+(X)\\) denote the set of all positive continuous linear operators on \\(X\\). Then \\(T\\) is said to be regular if the real and imaginary parts of \\(T\\) can be expressed as a difference of positive operators. The modulus \\(|T|\\) of a regular operator \\(T\\) is defined as \\(|T|f = \\sup\\limits_{|g| \\leq f}|Tg|\\), \\(f \\in X_+\\). The collection of all regular operators is written as \\({\\mathcal{L}}_r(X)\\), which is a Banach lattice under the norm \\(T\\mapsto\\| | T | \\|\\), \\(T \\in {\\mathcal{L}}_r(X)\\). \\(T : X \\rightarrow X\\) has an integral kernel \\(k\\) if \\(k : \\sum\\times \\sum \\rightarrow \\mathbb{C}\\) is a Borel-measurable function such that \\(T=T_k\\), which is defined as  \\[  (T_kf)(x) = \\int\\limits_{\\sum}k(x,y)f(y)\\,d\\mu(y) \\text{ for } \\mu \\text{-almost all } x \\in \\Sigma,\\;f \\in X. \\]  \\(T\\) is called an absolute integral operator if it has an integral kernel \\(k\\) for which \\(T_{|k|}\\) is a bounded linear operator on \\({\\mathcal{L}}^2(\\mu)\\). In [\\textit{P. Meyer-Nieberg}, Banach lattices. Berlin etc.: Springer-Verlag (1991; Zbl 0743.46015)], it was shown that \\(|T_k|=T_{|k|}\\). For \\(T \\in {\\mathcal{L}}(X)\\) having an integral kernel \\(k=\\sum\\limits_{j=1}^nf_j\\chi_{A_j}\\), that is, \\(X\\)-valued simple functions with \\(\\mu(A_j) < \\infty\\), it is natural to view  \\[ \\int\\limits_{\\sum}\\langle T,dm\\rangle=\\sum_{j=1}^n\\int_{A_j}f_j\\,d\\mu=\\int_{\\sum}k(x,x)\\,d\\mu(x) \\]  as a bilinear integral. The author applies martingale regularization (and the martingale convergence theorem) to extend the above bilinear integral to regular operators and the class \\({\\mathcal{C}}_1(X)\\) of absolute integral operators with \\(\\int\\limits_{\\sum}\\langle |T|,dm\\rangle < \\infty\\). The author's first result asserts that \\({\\mathcal{C}}_1(X)\\) is a lattice ideal in \\({\\mathcal{L}}_r(X)\\) and it is a Dedekind complete Banach Lattice with the norm  \\[  T \\rightarrow \\|T\\|+\\int_{\\sum}\\langle |T|,dm\\rangle,\\quad T \\in {\\mathcal{C}}_1(X). \\]  Subsequently, the author gives a sufficient condition for traceability of absolute integral operators. For positive kernel operators \\(T_j : X\\rightarrow X\\), \\(j=1,2\\), he proves the following trace property: \\( \\int\\limits_{\\sum}\\langle T_1T_2,dm\\rangle =\\int\\limits_{\\sum}\\langle T_2T_1,dm\\rangle\\), which holds for extended real numbers. The author also proves a bilinear version of the Fubini-Tonelli theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q472536$F720B207-BCA1-4329-AFB3-07814410A25C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e629413ab81cc4662260ec065b05f88b458e6de","datavalue":{"value":{"entity-type":"item","numeric-id":592881,"id":"Q592881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$1F9CAC8F-4A15-4EE6-B4BF-092F55A0688A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5bd5aff1df3b1dd5913bc45fbb0c60cf86906fbe","datavalue":{"value":"47B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472536$3442357B-E2C3-493B-885F-118263490747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050fe1d0cf10950e30b30fbe325a9842e576d618","datavalue":{"value":"6371141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472536$CC863BC1-86F5-45F9-82AB-0C17989519A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c2bd4e26f60c868103902640886d310ad7ef9f","datavalue":{"value":"trace class operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q472536$38FCD338-4F92-47A2-90E5-127980463A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e476f6d6d49daa8e87d4189f5aa134c6d6ade44f","datavalue":{"value":"Banach lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q472536$DF1FD3A6-D3AA-452F-B272-9EE139637ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1974d067a3848b99631e3d59107c4e6748a619ca","datavalue":{"value":"regular operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q472536$34E676F1-A923-4DB4-B9A8-754BCC9E866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b6fc9022a6bbcc32224c024c5db8e3833fa094","datavalue":{"value":"absolute integral operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q472536$07610111-459E-46F5-B47C-099FB06631FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b8008abcdcb50429efd7014bb2ce8b1b54bc2ca4","datavalue":{"value":"Q59061294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472536$68D63DC5-D95C-4016-8CBD-B2AAE96E42C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b024d4a0f59610c641893c664890073e4e91de7","datavalue":{"value":{"entity-type":"item","numeric-id":1067032,"id":"Q1067032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$D95EA16D-300F-43CD-A14E-34A19A287001","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":"Q472536$49B7B891-E371-4C44-854A-F0532DF4F6E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef20368d63ee21efdbea3ca93cabbca94ebeba10","datavalue":{"value":"https://doi.org/10.1155/2014/629502","type":"string"},"datatype":"url"},"type":"statement","id":"Q472536$C0D2C620-2B0B-4880-992E-ECB3F9A7915E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"887192471315175211fdc9d88f8e3578a851e200","datavalue":{"value":"W2063962894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472536$D61F9135-8032-4562-B6B6-CBAD75D14825","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78de53bdf6b7fa96d1e27eca1aa675e9d774fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5694963,"id":"Q5694963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$61CE7059-4D44-4429-A7F1-B07CF6A64D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ca6d48afb37111bc00e6388f0ba596a8ec3a61","datavalue":{"value":{"entity-type":"item","numeric-id":4257161,"id":"Q4257161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$AD61CDB5-8ECE-4FA0-AE39-51A2E6498BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3b584a39fcdd51f13edfcff76fbe9f3ccb61b8","datavalue":{"value":{"entity-type":"item","numeric-id":3471080,"id":"Q3471080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$F748EF5B-CD14-4FB9-BAA2-4F27461ECB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b64f2bccd8796fd4d66d6fb60cfaef54280779","datavalue":{"value":{"entity-type":"item","numeric-id":757805,"id":"Q757805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$FFE56DE9-8353-4703-B970-4880001E5D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dee50602381b220fff16330c5248108d1d3862b","datavalue":{"value":{"entity-type":"item","numeric-id":471820,"id":"Q471820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$E46C5B8A-EB69-4E08-A261-A7EFC1F8C6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32b11478a9c8a5afbb57775b14bbec3ad0060f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189405,"id":"Q1189405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$0E3C4721-2267-4AB0-964D-917CD605D88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59555afcc05c01f185bc99f3c4d946e28da6d686","datavalue":{"value":{"entity-type":"item","numeric-id":929392,"id":"Q929392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472536$BB0AE2F6-018A-43F5-AB9B-6A3CD907BE45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e43ef249c860371194bd84da866edb7e376993b","datavalue":{"value":{"entity-type":"item","numeric-id":757805,"id":"Q757805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa92ac348886a26007b29b0d652d45c203e56db","datavalue":{"value":{"amount":"+0.8353967666625977","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":"Q472536$C473DC69-179A-43BF-BF92-648E561EE852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5c1dfc4e482a1963ac3cac083889e90b3fde01","datavalue":{"value":{"entity-type":"item","numeric-id":1128254,"id":"Q1128254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baddb0241ce963d0a38e9c772439780bf8ffa0eb","datavalue":{"value":{"amount":"+0.8082047700881958","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":"Q472536$876F70F5-276F-49C2-A7E8-11A5A71BC744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c765a8ad5a6871478d05c467d5876aacf33fc6","datavalue":{"value":{"entity-type":"item","numeric-id":437728,"id":"Q437728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82736ba377bab1233fb4a73cb2f354c34c90e713","datavalue":{"value":{"amount":"+0.8031591773033142","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":"Q472536$21E57A11-94E0-4E9E-826B-F1C0B3145343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fff28d3abf0551fd615d584ed16ad4bfec0cad","datavalue":{"value":{"entity-type":"item","numeric-id":5917708,"id":"Q5917708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b99f216f98c203a31ef7aaba833b08b724e863","datavalue":{"value":{"amount":"+0.7968753576278687","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":"Q472536$7E62EE68-22BE-4FFF-BDCE-0145AB4D3AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6460248df97d9b07ab370a3d01a0a7284b77a63","datavalue":{"value":{"entity-type":"item","numeric-id":3198382,"id":"Q3198382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b99f216f98c203a31ef7aaba833b08b724e863","datavalue":{"value":{"amount":"+0.7968753576278687","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":"Q472536$F700543E-FC92-4086-96A8-11D951CAF048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice trace operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattice_trace_operators"}}}}}