 {\mu(S_i^c)}U_{F_1}^{t_i}(\chi_{S_i^c}f)$.

\[def:spread\]Let $U^s$ be a strongly continuous one parameter unitary group. Let $\{exp(s\alpha_i)\}$ be the eigenvalues of $U^s$ that do not correspond to constant functions. We say $U^s$ satisfies condition (\*) along a sequence $\{t_i\}_{i=1}^\infty$ if

1.  for all $j$ we have $\underset{i}{\inf} \|exp(t_i\alpha_j)-1\|>0$ and

2.  $\{ U^{t_i}f\}$ converges weakly to 0 for all $f \in \mathcal{H}_c$.

\[prop:disjoint criterion\] Let $(X, \mathcal{B}, F_1^s,\mu)$ and $(Y,\mathcal{B}',F_2^s,\nu)$ be two ergodic flows. Assume that $\{t_i\}_{i=1}^\infty$ is a $c$-partial rigidity sequence for $U_{F_1}^s$ and ($\{t_i\}$, $U_{F_2}^s$) satisfies (\*) then $(F_1^s,\mu)$ and $(F_2^s,\nu)$ are disjoint.

Let $\lambda$ be an $F_1 \times F_2$ preserved measure of $X \times Y$ with marginals $\mu$ and $\nu$. We recall that $\lambda$ defines a Markov operator $\Phi:L^2(\nu) \to L^2(\mu)$ by $\int_B\Phi(\chi_A)d\mu=\lambda(B \times A)$. We prove $\lambda$ is the product measure by showing that $\Phi f=\int f $, so its Markov operator is the same as for the product joining.

Let $t_{n_i}$ be a sequence so that $U_{F_2}^{t_{n_i}}$ has a weak operator topology limit, $\Gamma$, and $U_{F_1}^{t_{n_i}}$ has a weak operator topology limit $cId+(1-c)\Psi.$ We now prove the proposition in three steps:

*Step 1:* For any $f \in {{\mathcal H}}_{pp}(U
{ \mu(S_i^c)}U_{F_1}^{t_i}(\chi_{S_i^c}f)$. 

 \[def: spread\]Let $ U^s$ be a strongly continuous one parameter unitary group. Let $ \{exp(s\alpha_i)\}$ be the eigenvalues of $ U^s$ that do not represent to changeless functions. We say $ U^s$ satisfies condition (\ *) along a succession $ \{t_i\}_{i=1}^\infty$ if 

 1.   for all $ j$ we have $ \underset{i}{\inf } \|exp(t_i\alpha_j)-1\|>0 $ and 

 2.   $ \ { U^{t_i}f\}$ converges weakly to 0 for all $ f \in \mathcal{H}_c$. 

 \[prop: disjoint criterion\ ] permit $ (X, \mathcal{B }, F_1^s,\mu)$ and $ (Y,\mathcal{B}',F_2^s,\nu)$ be two ergodic flows. bear that $ \{t_i\}_{i=1}^\infty$ is a $ c$-partial rigidity sequence for $ U_{F_1}^s$ and ($ \{t_i\}$, $ U_{F_2}^s$) satisfies (\ *) then $ (F_1^s,\mu)$ and $ (F_2^s,\nu)$ are disjoint. 

 lease $ \lambda$ be an $ F_1 \times F_2 $ preserved measure of $ X \times Y$ with marginals $ \mu$ and $ \nu$. We echo that $ \lambda$ defines a Markov operator $ \Phi: L^2(\nu) \to L^2(\mu)$ by $ \int_B\Phi(\chi_A)d\mu=\lambda(B \times A)$. We prove $ \lambda$ is the product measure by read that $ \Phi f=\int f $, so its Markov operator is the same as for the intersection joining. 

 Let $ t_{n_i}$ be a sequence so that $ U_{F_2}^{t_{n_i}}$ has a watery operator topology limit, $ \Gamma$, and $ U_{F_1}^{t_{n_i}}$ has a weak hustler topology limit $ cId+(1 - c)\Psi.$ We now prove the proposition in three steps: 

 * dance step 1 :* For any $ f \in { { \mathcal H}}_{pp}(U
 {\mu(D_i^c)}U_{F_1}^{t_i}(\chi_{S_i^c}f)$.

\[def:spread\]Ltt $U^s$ be a strongly contmnuous kne paraoeter unitary group. Let $\{exp(s\elphq_i)\}$ be the eigenvalues of $U^s$ that do jot corrwspoid to constant fnhctions. We sag $U^s$ vetisfies conditlon (\*) along d sequence $\{t_i\}_{i=1}^\hnwtv$ if

1.  for all $j$ we have $\underset{i}{\inf} \|exp(t_i\akpja_j)-1\|>0$ and

2.  $\{ U^{t_i}f\}$ connewges weakly to 0 for all $f \in \mathcal{H}_c$.

\[lrop:disooint criterion\] Let $(X, \mathcal{B}, F_1^s,\mu)$ and $(Y,\lathfal{B}',F_2^s,\nu)$ be two erhodic flows. Asstne that $\{t_i\}_{i=1}^\ivfty$ is a $b$-'artial rigjdity sequence for $U_{F_1}^s$ and ($\{t_i\}$, $U_{W_2}^s$) sacisfies (\*) thgu $(F_1^s,\lo)$ and $(F_2^s,\nu)$ ace distoint.

Let $\lamnca$ be dn $F_1 \tikes F_2$ preservec mxasuee of $X \times Y$ with karginals $\mu$ and $\no$. We recaln chat $\lambda$ defines a Mqrkov opesatof $\Phk:L^2(\nh) \vo M^2(\mu)$ by $\inv_B\Phi(\chi_A)d\mh=\lambda(B \tines A)$. We prove $\lambca$ px the producf meastrq by showing that $\Phi f=\int f $, so its Magkov operator is the same aw for the product joijing.

Let $t_{g_i}$ be a sequence so that $U_{F_2}^{t_{n_i}}$ has a weak operatos topkuogv limig, $\Gwmma$, and $U_{F_1}^{t_{n_i}}$ has a weak operator topology lyjiu $cPd+(1-c)\Psi.$ We now proye the proposition ij yrree steps:

*Stek 1:* For chy $f \in {{\mathcal H}}_{pp}(U
{\mu(S_i^c)}U_{F_1}^{t_i}(\chi_{S_i^c}f)$. \[def:spread\]Let $U^s$ be a strongly continuous unitary Let $\{exp(s\alpha_i)\}$ the eigenvalues of to functions. We say satisfies condition (\*) a sequence $\{t_i\}_{i=1}^\infty$ if 1. for $j$ we have $\underset{i}{\inf} \|exp(t_i\alpha_j)-1\|>0$ and 2. $\{ U^{t_i}f\}$ converges weakly to 0 all $f \in \mathcal{H}_c$. \[prop:disjoint criterion\] Let $(X, \mathcal{B}, F_1^s,\mu)$ and $(Y,\mathcal{B}',F_2^s,\nu)$ be ergodic Assume $\{t_i\}_{i=1}^\infty$ a $c$-partial rigidity sequence for $U_{F_1}^s$ and ($\{t_i\}$, $U_{F_2}^s$) satisfies (\*) then $(F_1^s,\mu)$ and $(F_2^s,\nu)$ are Let $\lambda$ be an $F_1 \times F_2$ preserved of $X \times Y$ marginals $\mu$ and $\nu$. We that defines a operator \to by $\int_B\Phi(\chi_A)d\mu=\lambda(B \times We prove $\lambda$ is the product measure by showing that $\Phi f=\int f $, so its Markov is the for the joining. $t_{n_i}$ a sequence so has a weak operator topology limit, has a weak operator topology limit $cId+(1-c)\Psi.$ We prove the in three steps: *Step 1:* For $f \in {{\mathcal H}}_{pp}(U
 {\mu(S_i^c)}U_{F_1}^{t_i}(\chi_{S_i^c}f)$.

\[def:spread\]let $U^s$ be a stRonglY coNtiNuOus oNe paRameter unitary GRoup. let $\{exp(s\alpha_i)\}$ be the eigeNvaluEs OF $U^s$ tHAt Do not CorrespONd TO ConStAnT fuNcTIoNs. We sAy $U^S$ satisfIes conditiOn (\*) aLoNg a sequence $\{t_I\}_{I=1}^\iNfty$ if

1.  for aLl $j$ We have $\undersEt{i}{\Inf} \|exp(T_i\AlpHA_j)-1\|>0$ and

2.  $\{ u^{t_i}F\}$ convErges wEAkly to 0 For all $f \in \MaTHcal{H}_c$.

\[PRop:disjOINt CritErion\] Let $(X, \mathcal{B}, f_1^S,\mU)$ And $(Y,\mathcal{B}',F_2^s,\Nu)$ be twO eRGoDIC flOws. assume that $\{T_i\}_{I=1}^\inftY$ Is a $c$-parTIaL RIGidITy sequence for $u_{F_1}^s$ and ($\{t_i\}$, $U_{F_2}^s$) SAtiSfies (\*) tHeN $(F_1^s,\MU)$ and $(F_2^s,\Nu)$ are DiSJoiNt.

Let $\lambda$ Be an $f_1 \times F_2$ prEserveD Measure OF $X \times y$ with mArgInaLs $\mu$ ANd $\Nu$. we rEcALl tHAt $\LamBDa$ dEfines a MArKoV operAtor $\pHI:l^2(\Nu) \to l^2(\mu)$ By $\inT_B\Phi(\Chi_A)d\mu=\lambda(b \tiMes A)$. wE prOve $\laMbda$ iS the PrOduct MeasurE by shOwIng that $\Phi f=\int f $, So itS Markov opEraToR is ThE same AS for thE prOduCt joiniNg.

Let $t_{n_I}$ Be a SeQUENcE so that $U_{F_2}^{t_{n_i}}$ has a weAk OPErAtor topoLogy liMIt, $\gaMMa$, and $U_{F_1}^{t_{N_i}}$ Has A weaK OPeratOr toPOlOgy limit $CId+(1-c)\PsI.$ we NoW prove tHe ProposItIon In tHree sTEps:

*STep 1:* For Any $f \in {{\maThcal h}}_{Pp}(U
 {\mu(S_i^c)}U_{F_1}^{t_i} (\chi_{S_i ^c}f) $.
\[ de f:sp read \]Let $U^s$ be a st rongly continuous oneparam et e r un i ta ry gr oup. Le t  $ \ { exp (s \a lph a_ i )\ }$ be  th e eigen values of$U^ s$  that do not co rrespond t o c onstant func tio ns. We  s ay$ U^s$sat isfie s cond i tion ( \*) along  a sequen c e $\{t_ i \ }_ {i=1 }^\infty$ if

1.fo r  all $j$ we ha ve $\u nd e rs e t {i} {\i nf} \|exp( t_ i\alp h a_j)-1\ | >0 $ a nd2.  $\{ U^{t_ i}f\}$ conv e rge s weak ly  to 0 forall $ f\ in\mathcal{H} _c$. 

\[prop: disjoi n t crite r ion\] L et $(X , \ mat hcal { B} ,F_1 ^s , \mu ) $and $(Y ,\mathca l{ B} ',F_2 ^s,\ n u ) $  betwo  erg odicflows. Assume  th at $ \ {t_ i\}_{ i=1}^ \inf ty $ isa $c$- parti al  rigidity seque ncefor $U_{F _1} ^s $ a nd  ($\{ t _i\}$,  $U _{F _2}^s$)  satisf i es(\ * ) th en $(F_1^s,\mu)$ a nd $ (F _2^s,\nu )$ are di sj o int.

Le t$\l ambd a $  be a n $F _ 1\times F _2$ pr e se rv ed meas ur e of $ X\ti mes  Y$ w i th m argina ls $\mu$  and$ \nu$. We recal l  that $\lambd a $d e fi n es a  Ma rkov operat or $ \ Phi: L^2( \ nu ) \ t o L^2 (\mu) $b y$ \int_B\Phi(\chi_A)d \m u=\lam bda(B  \times A)$.We prove $ \ l a mbda$ is  the pr o duct measure b y sho wing that$ \Phi f=\ int f  $, so i ts Markov o peratoristhe  sa mea s  f or the produc t join in g.

Let  $t _{n_i}$  be  aseq uen ce  so that$U_{F_2} ^{ t_ {n _i }}$  hasa  weak op er ato rtop ology limit,  $\Ga mma$ ,an d  $U _{F_1}^ { t_ { n _i}} $ha s awea kopera tort opo logy li mit $cId+ (1- c )\Ps i. $We nowprove the pro po sition inth ree  steps : 
*Step 1 :* For any $f \in {{\ma t hcal H} }_{ pp}(U 
 {\mu(S_i^c)}U_{F_1}^{t_i}(\chi_{S_i^c}f)$.

\[def:spread\]Let_$U^s$ be_a strongly continuous one_parameter unitary_group._Let $\{exp(s\alpha_i)\}$_be_the eigenvalues of_$U^s$ that do_not correspond to constant_functions. We say_$U^s$_satisfies condition (\*) along a sequence $\{t_i\}_{i=1}^\infty$ if

1.  for all $j$ we have_$\underset{i}{\inf}_\|exp(t_i\alpha_j)-1\|>0$ and

2.__$\{_U^{t_i}f\}$ converges weakly to 0_for all $f \in \mathcal{H}_c$.

\[prop:disjoint_criterion\] Let_$(X, \mathcal{B}, F_1^s,\mu)$ and $(Y,\mathcal{B}',F_2^s,\nu)$ be two ergodic_flows._Assume that $\{t_i\}_{i=1}^\infty$_is a $c$-partial rigidity sequence for $U_{F_1}^s$ and ($\{t_i\}$,_$U_{F_2}^s$) satisfies (\*) then $(F_1^s,\mu)$ and_$(F_2^s,\nu)$ are disjoint.

Let_$\lambda$_be_an $F_1 \times F_2$_preserved measure of $X \times Y$_with marginals $\mu$ and $\nu$. We_recall that $\lambda$ defines a Markov operator_$\Phi:L^2(\nu) \to L^2(\mu)$ by $\int_B\Phi(\chi_A)d\mu=\lambda(B \times_A)$. We prove $\lambda$ is_the product_measure by showing that $\Phi_f=\int f $,_so its_Markov operator is_the same as for the product_joining.

Let $t_{n_i}$ be_a sequence so that $U_{F_2}^{t_{n_i}}$ has_a_weak operator topology_limit,_$\Gamma$,_and $U_{F_1}^{t_{n_i}}$_has a weak_operator_topology limit_$cId+(1-c)\Psi.$_We now prove the proposition in_three_steps:

*Step 1:* For any $f \in {{\mathcal_H}}_{pp}(U