{"entities":{"Q1942289":{"pageid":1953031,"ns":120,"title":"Item:Q1942289","lastrevid":71928996,"modified":"2026-04-14T01:29:29Z","type":"item","id":"Q1942289","labels":{"en":{"language":"en","value":"Multifractal formalism for almost all self-affine measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145996"}},"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":"Q1942289$890B429B-0C0B-46DA-A6C4-06582105AE6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"451a983ad637e9f98879e9a6daa1176a62805db6","datavalue":{"value":{"text":"Multifractal formalism for almost all self-affine measures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1942289$04156EDA-CE62-463E-A712-16F88AA2B636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74bd666c88a274c15403669362f4ccbc35bd307b","datavalue":{"value":"1280.28010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1942289$D39D36CB-17E8-4B4D-94F5-41C0795C17B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d192c078743dfc84ccb9d3b02213fcc785eb5c2c","datavalue":{"value":{"entity-type":"item","numeric-id":189081,"id":"Q189081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942289$94D1B72A-15C7-42E4-B4D8-4B02340848F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62a1038e3434e564be7080b80ad674bb490866b","datavalue":{"value":{"entity-type":"item","numeric-id":409636,"id":"Q409636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942289$5AB5DA19-A479-43B4-BE5F-1182A704418D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1942289$09898D0E-6F48-485D-A90D-0C4D89682ACE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1942289$E51BA11C-6145-4A0A-B8BE-C8E0EAFA2AFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e2360dedfe773f972e657d5eb9d2fa20dfff1be","datavalue":{"value":"https://arxiv.org/abs/1110.6578","type":"string"},"datatype":"url"},"type":"statement","id":"Q1942289$B63AB7BC-8AB9-4958-A078-8BCD97BCF3E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bce5dba46ba68cbd748154dcdb9ffd5da334aec","datavalue":{"value":"Let \\(T_i: \\mathbb{R}^d\\to\\mathbb{R}^d\\) be contractive linear maps and \\(a_i\\in\\mathbb{R}^d\\), \\(i=1,\\dots,m\\). The article is devoted to the multifractal formalism for self-affine measures associated with iterated function systems of the form \\((\\mathbb{R}^d, T_i+a_i: i=1,\\dots,m)\\). Recall that given a positive probability vector \\((p_i)_{i=1}^{m}\\), \\(p_i>0\\), \\({\\sum}_i p_i = 1\\), there exists a unique probability measure \\(\\mu\\), called self-affine, which fulfills the following invariance equation \\[ \\mu(B) = \\sum_{i=1}^{m} p_i\\cdot \\mu\\circ (T_i+a_i)^{-1}(B) \\] for all Borel sets \\(B\\subset\\mathbb{R}^{d}\\), and moreover, \\(A=\\bigcup_{i} (T_i+a_i)(A)\\), where \\(A=\\operatorname{supp} \\mu\\). Let us denote \\({\\phi}^{0}(T)=1\\) and for \\(s>0\\), \\[ \\phi^s(T) = {\\alpha}_1\\cdot\\dots\\cdot\\alpha_{k-1}\\cdot {\\alpha}_{k}^{s-k+1}, \\text{ when } k-1< s \\leq k \\leq d, \\] \\[ (\\alpha_1\\cdot\\dots \\alpha_d)^{s/d}, \\text{ when } s\\geq d, \\] for nonsingular linear \\(T: \\mathbb{R}^d\\to\\mathbb{R}^d\\), where \\(\\alpha_1\\geq \\alpha_2\\geq\\dots\\geq \\alpha_d\\) are the positive square roots of the eigenvalues of \\(T^{*}T\\). Fix \\(q\\geq 0\\). We need also the following notation: \\[ S= \\left\\{s\\geq 0: \\sum_{k=1}^{\\infty} \\sum_{(i_1,..,i_k)\\in\\{1,..,m\\}^k} \\left(\\phi^s(T_{i_1}\\circ\\dots\\circ T_{i_k})\\right)^{1-q} \\cdot \\left( \\prod_{j=1}^{k} p_{i_j}\\right)^{q} <\\infty \\right\\}, \\] \\[ D(q) = (q-1)\\cdot \\operatorname{mum} S, \\] \\[ \\tau(q) = (q-1) \\cdot \\min \\left\\{\\frac{D(q)}{q-1}, d\\right\\}, \\] where mum means infimum if \\(0\\leq q <1\\), supremum if \\(q>1\\), and \\(D(q) = \\tau(q)= 0\\) as \\(q-1 =0\\). The level sets are \\[ E(\\mu,\\alpha) = \\{x\\in\\mathbb{R}^d: \\lim_{r\\to 0} \\frac{\\log\\, \\mu(B_r(x))}{\\log r} = \\alpha\\} \\] and \\(\\underline{E}(\\mu,\\alpha)\\), if \\(\\lim_{r\\to 0}\\) is replaced with \\(\\liminf_{r\\to 0}\\); \\(B_r(x)\\) stands for the closed \\(r\\)-ball at \\(x\\). The main result (Theorem 1.3) states that for a self-affine measure \\(\\mu\\) associated with \\(T_i+a_i\\), \\(i=1,\\dots,m\\), \\(\\|T_i\\|< 1/2\\), \\((a_i)_{i=1}^{m}\\in\\mathbb{R}^{md}\\) (except a set of parameters \\((a_i)_{i=1}^{m}\\) of the null \\(md\\)-dimensional Lebesgue measure) the Hausdorff dimension of level sets obeys \\[ \\dim_{H} \\underline{E}(\\mu,\\alpha) = {\\alpha} q - \\tau(q) \\] in several specific cases: (i) either \\(\\alpha=D'_{-}(q)\\) (left derivative) or \\(\\alpha = D'_{+}(q)\\) (right derivative), and \\(0t_{i,1}>\\dots>t_{i,d}>0\\), and \\(k