Une extension de l'opérateur de bruit

16

Dans un problème sur lequel je travaille actuellement, une extension de l'opérateur de bruit survient naturellement et j'étais curieux de savoir s'il y avait eu des travaux antérieurs. Permettez-moi d'abord de réviser l'opérateur de bruit de base Tε sur les fonctions booléennes à valeur réelle. Étant donné une fonction f:{0,1}nR et ε , p st 0ε1 , ε=12p , nous définissons TεR comme Tεf(x)=Eyμp[f(x+y)]

μp est la distribution sury obtenue en fixant chaque bit d'unvecteur àn bits à1 indépendamment avec une probabilitép et0 sinon. De manière équivalente, nous pouvons considérer ce processus comme retournant chaque bit dex avec une probabilité indépendantep . Maintenant, cet opérateur de bruit a de nombreuses propriétés utiles, y compris être multiplicatifTε1Tε2=Tε1ε2 et avoir de belles valeurs propres et vecteurs propres (Tε(χS)=ε|S|χSχS appartient à la base de parité).

Permettez-moi maintenant de définir mon extension de , que je désigne par R ( p 1 , p 2 ) . R ( p 1 , p 2 )R est donné par R ( p 1 , p 2 ) f ( x ) = E y μ p , x [ f ( x + y ) ] . Mais ici, notre distribution μTεR(p1,p2)R(p1,p2)RR(p1,p2)f(x)=Eyμp,x[f(x+y)] est tel que nous inversons les1bits dexà0avec probabilité p 1 et0bits dexà1avec probabilité p 2 . ( μ p , x est maintenant clairement une distribution qui dépend duxoù la fonction est évaluée, et si p 1 = p 2 alors R ( p 1 , p 2 ) se réduit à l'opérateur de bruit `` régulier ''.)μp,x1x0p10x1p2μp,xxp1=p2R(p1,p2)

Je me demandais si cet opérateur déjà été bien étudié quelque part dans la littérature? Ou ses propriétés de base sont-elles évidentes? Je commence juste par l'analyse booléenne, donc cela pourrait être simple pour quelqu'un plus familier avec la théorie que moi. En particulier, je voudrais savoir si les vecteurs propres et les valeurs propres ont une belle caractérisation, ou s'il existe une propriété multiplicative.R(p1,p2)

Amir
la source

Réponses:

14

Je répondrai à la deuxième partie de la question.

I. Valeurs propres et fonctions propres

Considérons d'abord le cas unidimensionnel . Il est facile de vérifier que l'opérateur R p 1 , p 2 a deux fonctions propres: 1 et ξ ( x ) = ( p 1 + p 2 ) x - p 1 = { - p 1 ,  si  x = 0 , p 2 ,  si  x = 1. avec des valeurs propres 1 etn=1Rp1,p21

ξ(x)=(p1+p2)xp1={p1, if x=0,p2, if x=1.
1 , respectivement.1p1p2

Considérons maintenant le cas général. Pour , soit ξ S ( x ) = iS{1,,n}. Observons que ξ S est une fonction propre de R p 1 , p 2 . En effet puisque toutes les variables x i sont indépendantes, nous avons R p 1 , p 2 ( ξ ( x ) )ξS(x)=iSξ(xi)ξSRp1,p2xi

Rp1,p2(ξ(x))=Rp1,p2(iSξ(xi))=iSRp1,p2(ξ(xi))=iS((1p1p2)ξ(xi))=(1p1p2)|S|ξS(x).

On obtient que est une fonction propre de R p 1 , p 2 de valeur propre ( 1 - p 1 - p 2 ) | S | pour tout S { 1 , , n } . Puisque les fonctions ξ S ( x ) couvrent tout l'espace, R p 1 , p 2ξS(x)Rp1,p2(1p1p2)|S|S{1,,n}ξS(x)Rp1,p2n'a pas d'autres fonctions propres (qui ne sont pas des combinaisons linéaires de ).ξS(x)

II. Propriété multiplicative

En général, la «propriété multiplicative» n'est pas valable pour puisque la base propre de R p 1 , p 2 dépend de p 1 et p 2 . Cependant, nous avons R 2 p 1 , p 2 = R p 1 , p 2 ,p 1 = 2 p 1 - ( p 1 + pRp1,p2Rp1,p2p1p2

Rp1,p22=Rp1,p2,
et p 2 = 2 p 2 - ( p 1 + p 2 ) p 2 . Pour vérifier cela, notons tout d'abord que R p 1 , p 2 et R p ' 1 , p ' 2 ont le même ensemble de fonctions propres { ξ S } . On a, R 2 p 1 , p 2 ( ξ S )p1=2p1(p1+p2)p1p2=2p2(p1+p2)p2Rp1,p2Rp1,p2{ξS} puisque 1 - p 1 - p 2
Rp1,p22(ξS)=(1p1p2)2|S|ξS=(1p1p2)|S|ξS=Rp1,p2(ξS)
1p1p2=1p1(2(p1+p2))p2(2(p1+p2))=1(p1+p+2)(2(p1+p2))=12(p1+p2)+(p1+p2)2=(1p1p2)2.

III. Relation to the Bonami—Beckner operator

Let us think of functions from {0,1}n to R as polylinear polynomials. Let δ=12p1p2p1+p2. Consider the operator

Aδ(f)=f(x1+δ,,xn+δ).
It maps every multilinear polynomial f to a multilinear polynomial A[f]. We have,
Rp1,p2(f)=Aδ1TεAδ(f),
where ε=1p1p2. Note that parts I and II follow from this formula and properties of the Bonami—Beckner operator.
Yury
la source
Yury, thank you for the answer! That's a good starting point for me to work with; I should now be able to work out if there are analogues of the hyper contractive inequality. Will post back here if I get any more interesting analysis.
Amir
This is very long after the fact, but I am curious how you derived the third part and the relation to the Becker Bonami operator?
Amir
(a) It is sufficient to check the identity for f=1 and f=xi. If it holds for 1 and xi, then it's easy to see that it holds for all characters. By linearity, it holds for all functions. (b) Alternatively, from I, Tε and Rp1,p2 have the same set of eigenvalues; eigenvector iSxi of T “corresponds” to eigenvector iSξ(xi) of R. Thus R(f)=A1TA(f) where A is a linear map that maps ξ(x) to x.
Yury
3

We were eventually able to analyze hypercontractive properties of Rp1,p2 (http://arxiv.org/abs/1404.1191), building off of the main Fourier analysis of Rp,0 by Ahlberg, Broman, Griffiths and Morris (http://arxiv.org/abs/1108.0310).

To summarize, the effect of a biased operator Rp,0 on a function f can be analyzed as a symmetric noise operator in a biased measure space. This gives a weak form of hypercontractivity, which depends on how the 2 norm of f varies when switching to a choice of biased measure μ dependent on p.

Amir
la source
You might want to 'accept' this answer so that the question doesn't keep popping up (disclaimer: I am an author on the linked paper)
Suresh Venkat