Actions of symbolic dynamical systems on C*-algebras. II. Simplicity of C*-symbolic crossed products and some examples

A C*-symbolic dynamical system ${(\mathcal{A}, \rho, \Sigma)}A C*-symbolic dynamical system (A, r, S){(\mathcal{A}, \rho, \Sigma)} consists of a unital C*-algebra A{\mathcal{A}} and a finite family { r_a }_{a ? S}{\{ \rho_\alpha \}_{\alpha \in \Sigma}} of endomorphisms ρ _α of A{\mathcal{A}} indexed by symbols α of Σ satisfying some conditions. The endomorphisms r_a, a ? S{\rho_\alpha, \alpha \in \Sigma } yield both a subshift Λ and a C*-algebra of a Hilbert C*-bimodule. The obtained C*-algebra is regarded as a crossed product of A{\mathcal{A}} by the subshift Λ. We will study simplicity condition of these C*-algebras. Some examples such as irrational rotation Cuntz–Krieger algebras will be studied.     

Around splitting and reaping for partitions of ω

We investigate splitting number and reaping number for the structure (ω) ^ω of infinite partitions of ω. We prove that \mathfrakr_d ￡ non(M),non(N),\mathfrakd{\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}} and \mathfraks_d 3 \mathfrakb{\mathfrak{s}_{d}\geq\mathfrak{b}} . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})} . To prove the consistency \mathfrakr_d < add(M){\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and \mathfraks_d < cof(M){\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})} we introduce new cardinal invariants \mathfrakr_pair{\mathfrak{r}_{pair}} and \mathfraks_pair{\mathfrak{s}_{pair}} . We also study the relation between \mathfrakr_pair, \mathfraks_pair{\mathfrak{r}_{pair}, \mathfrak{s}_{pair}} and other cardinal invariants. We show that cov(M),cov(N) ￡ \mathfrakr_pair ￡ \mathfraks_d,\mathfrakr{\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}} and \mathfraks ￡ \mathfraks_pair ￡ non(M),non(N){\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})} .     

Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces

We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group e^{it \frac\triangle2}{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X _Γ of a compact hyperbolic surface X _Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution W^G_j,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces H_PS{\mathcal H_{PS}} (whose dual is spanned by {PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}}}), resp. H_W{\mathcal H_W} (whose dual is spanned by {W^G_j,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from H_W ? H_PS.{\mathcal H_{W} \to \mathcal H_{PS}.}     

The early evolution of the H-free process

The H-free process, for some fixed graph H, is the random graph process defined by starting with an empty graph on n vertices and then adding edges one at a time, chosen uniformly at random subject to the constraint that no H subgraph is formed. Let G be the random maximal H-free graph obtained at the end of the process. When H is strictly 2-balanced, we show that for some c>0, with high probability as n→∞, the minimum degree in G is at least cn^{1-(v_H-2)/(e_H-1)}(logn)^1/(e_H-1)cn^{1-(v_{H}-2)/(e_{H}-1)}(\log n)^{1/(e_{H}-1)}. This gives new lower bounds for the Turán numbers of certain bipartite graphs, such as the complete bipartite graphs K _r,r with r≥5. When H is a complete graph K _s with s≥5 we show that for some C>0, with high probability the independence number of G is at most Cn^2/(s+1)(logn)^1-1/(e_H-1)Cn^{2/(s+1)}(\log n)^{1-1/(e_{H}-1)}. This gives new lower bounds for Ramsey numbers R(s,t) for fixed s≥5 and t large. We also obtain new bounds for the independence number of G for other graphs H, including the case when H is a cycle. Our proofs use the differential equations method for random graph processes to analyse the evolution of the process, and give further information about the structure of the graphs obtained, including asymptotic formulae for a broad class of subgraph extension variables.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.     

On the Right (Left) Invertible Completions for Operator Matrices

Let ${\mathcal {H}_{1}}Let H₁{\mathcal {H}_{1}} and H₂{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H₁), B ? B(H₂){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H₂, H₁){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H₁, H₂){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.     

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

On thin-complete ideals of subsets of groups

Let F ì P_G \mathcal{F} \subset {\mathcal{P}_G} be a left-invariant lower family of subsets of a group G. A subset A ⊂ G is called F \mathcal{F} -thin if xA ?yA ? F xA \cap yA \in \mathcal{F} for any distinct elements x, y ∈ G. The family of all F \mathcal{F} -thin subsets of G is denoted by t( F ) \tau \left( \mathcal{F} \right) . If t( F ) = F \tau \left( \mathcal{F} \right) = \mathcal{F} , then F \mathcal{F} is called thin-complete. The thin-completion t^*( F ) {\tau^*}\left( \mathcal{F} \right) of F \mathcal{F} is the smallest thin-complete subfamily of P_G {\mathcal{P}_G} that contains F \mathcal{F} . Answering questions of Lutsenko and Protasov, we prove that a set A ⊂ G belongs to τ*(G) if and only if, for any sequence (g _n ) _n∈ω of nonzero elements of G, there is n ∈ ω such that

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

Topology and Smooth Structure for Pseudoframes

Given a closed subspace ${\mathcal{S}}Given a closed subspace S{\mathcal{S}} of a Hilbert space H{\mathcal{H}}, we study the sets F_S{\mathcal{F}_\mathcal{S}} of pseudo-frames, CF_S{\mathcal{C}\mathcal{F}_\mathcal{S}} of commutative pseudo-frames and \mathfrakX_S{\tiny{\mathfrak{X}}_{\mathcal{S}}} of dual frames for S{\mathcal{S}}, via the (well known) one to one correspondence which assigns a pair of operators (F, H) to a frame pair ({f_n}_{n ? \mathbbN},{h_n}_{n ? \mathbbN}){(\{f_n\}_{n\in\mathbb{N}},\{h_n\}_{n\in\mathbb{N}})},

F:l2? H,     F({cn}n ? \mathbbN )=?n cn fn,F:\ell^2\to\,\mathcal{H}, \quad F\left(\{c_n\}_{n\in\mathbb{N}} \right)=\sum_n c_n f_n,      14. Compact Toeplitz Operators for Weighted Bergman Spaces on Bounded Symmetric Domains      Hassan Issa 《Integral Equations and Operator Theory》2011,70(4):569-582 Let W ì \mathbb Cd{\Omega \subset{\mathbb C}^{d}} be an irreducible bounded symmetric domain of type (r, a, b) in its Harish–Chandra realization. We study Toeplitz operators Tng{T^{\nu}_{g}} with symbol g acting on the standard weighted Bergman space Hn2{H_\nu^2} over Ω with weight ν. Under some conditions on the weights ν and ν 0 we show that there exists C(ν, ν 0) > 0, such that the Berezin transform [(g)\tilde]n0{\tilde{g}_{\nu_{0}}} of g with respect to H2n0{H^2_{\nu_0}} satisfies: \labele0||[(g)\tilde]n0||￥ ￡ C(n,n0)||Tng||,\label{e0}\|\tilde{g}_{\nu_0}\|_\infty \leq C(\nu,\nu_0)\|T^\nu_g\|,      15. Maximum Hitting of a Set by Compressed Intersecting Families      Peter Borg 《Graphs and Combinatorics》2011,27(6):785-797 For a family A{\mathcal{A}} and a set Z, denote {A ? A \colon A ?Z 1 ?}{\{A \in \mathcal{A} \colon A \cap Z \neq \emptyset\}} by A(Z){\mathcal{A}(Z)}. For positive integers n and r, let Sn,r{\mathcal{S}_{n,r}} be the trivial compressed intersecting family {A ? (c[n]r ) \colon 1 ? A}{\{A \in \big(\begin{subarray}{c}[n]\\r \end{subarray}\big) \colon 1 \in A\}}, where [n] : = {1, ?, n}{[n] := \{1, \ldots, n\}} and (c[n]r ) : = {A ì [n] \colon |A| = r}{\big(\begin{subarray}{c}[n]\\r \end{subarray}\big) := \{A \subset [n] \colon |A| = r\}}. The following problem is considered: For r ≤ n/2, which sets Z í [n]{Z \subseteq [n]} have the property that |A(Z)| ￡ |Sn,r(Z)|{|\mathcal{A}(Z)| \leq |\mathcal{S}_{n,r}(Z)|} for any compressed intersecting family A ì (c[n]r ){\mathcal{A}\subset \big(\begin{subarray}{c}[n]\\r \end{subarray}\big)}? (The answer for the case 1 ? Z{1 \in Z} is given by the Erdős–Ko–Rado Theorem.) We give a complete answer for the case |Z| ≥ r and a partial answer for the much harder case |Z| < r. This paper is motivated by the observation that certain interesting results in extremal set theory can be proved by answering the question above for particular sets Z. Using our result for the special case when Z is the r-segment {2, ?, r+1}{\{2, \ldots, r+1\}}, we obtain new short proofs of two well-known Hilton–Milner theorems. At the other extreme end, by establishing that |A(Z)| ￡ |Sn,r(Z)|{|\mathcal{A}(Z)| \leq |\mathcal{S}_{n,r}(Z)|} when Z is a final segment, we provide a new short proof of a Holroyd–Talbot extension of the Erdős-Ko-Rado Theorem.      16. Pan-H-Linked Graphs      Michael Ferrara  Colton Magnant  Jeffrey Powell 《Graphs and Combinatorics》2010,26(2):225-242 Let H be a multigraph, possibly containing loops. An H-subdivision is any simple graph obtained by replacing the edges of H with paths of arbitrary length. Let H be an arbitrary multigraph of order k, size m, n 0(H) isolated vertices and n 1(H) vertices of degree one. In Gould and Whalen (Graphs Comb. 23:165–182, 2007) it was shown that if G is a simple graph of order n containing an H-subdivision H{\mathcal{H}} and d(G) 3 \fracn+m-k+n1(H)+2n0(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}}, then G contains a spanning H-subdivision with the same ground set as H{\mathcal{H}} . As a corollary to this result, the authors were able to obtain Dirac’s famed theorem on hamiltonian graphs; namely that if G is a graph of order n ≥ 3 with d(G) 3 \fracn2{\delta(G)\ge\frac{n}{2}} , then G is hamiltonian. Bondy (J. Comb. Theory Ser. B 11:80–84, 1971) extended Dirac’s theorem by showing that if G satisfied the condition d(G) 3 \fracn2{\delta(G) \ge \frac{n}{2}} then G was either pancyclic or a complete bipartite graph. In this paper, we extend the result from Gould and Whalen (Graphs Comb. 23:165–182, 2007) in a similar manner. An H-subdivision H{\mathcal{H}} in G is 1-extendible if there exists an H-subdivision H*{\mathcal{H}^{*}} with the same ground set as H{\mathcal{H}} and |H*| = |H| + 1{|\mathcal{H}^{*}| = |\mathcal{H}| + 1} . If every H-subdivision in G is 1-extendible, then G is pan-H-linked. We demonstrate that if H is sufficiently dense and G is a graph of large enough order n such that d(G) 3 \fracn+m-k+n1(H)+2n0(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}} , then G is pan-H-linked. This result is sharp.      17. Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures      Li Guang Liu  Da Chun Yang  Dong Yong Yang 《数学学报(英文版)》2011,27(12):2445-2468 Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ n , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ n satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ n , |·|, d λ ), or the space (S, d, ρ), where S ≡ ℝ n ⋉ ℝ+ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { Xs ( Y ) }0 < s \leqslant ￥\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }0 < s \leqslant ￥\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H 1 ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L 01 ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L 1 ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X s ( Y )\left( \mathcal{Y} \right) = H 1 ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X ∞ ( Y )\left( \mathcal{Y} \right) = L 01 ( Y )\left( \mathcal{Y} \right) (or L 1 ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H 1 ( Y )\left( \mathcal{Y} \right) to L 1 ( Y )\left( \mathcal{Y} \right) and from L 1 ( Y )\left( \mathcal{Y} \right) to L 1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L 1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ n , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ n , |·|, d γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.      18. Square Integrable Group Representations and?the?Uncertainty Principle      Hans-Georg Stark  Nir Sochen 《Journal of Fourier Analysis and Applications》2011,17(5):916-931 Let U be a square integrable representation of a Lie group G of transformations in a Hilbert space H\mathcal{H}, and let y ? H\psi\in\mathcal{H} be an admissible state. We call the product of variances in the state ψ, associated to two non-commuting infinitesimal operators T 1 and T 2, uncertainty measure.      19. Generalized Absolute Values and Polar Decompositions of a Bounded Operator      Piotr Niemiec 《Integral Equations and Operator Theory》2011,71(2):151-160 Generalized absolute values as well as corresponding to them generalized polar decompositions of a bounded linear operator T of a Hilbert space H{\mathcal{H}} into a Hilbert space K{\mathcal{K}} are defined, motivated by the inequality |áTx, y?K|2 ￡ á|T|x, x?Há|T*|y, y?K{|\langle{Tx}, {y}\rangle}_{\mathcal{K}}|^2 \leq \langle|T|x, {x}\rangle_{\mathcal{H}}\langle{|T^{*}|y}, {y}\rangle_{\mathcal{K}} . It is shown that there is a natural bijection between generalized absolute values of T and of T* which sends |T| to |T*|. For a bounded nonnegative operator A on H{\mathcal{H}} and a bounded Borel function f: \mathbbR+ ? \mathbbR+{f: \mathbb{R}_+ \to \mathbb{R}_+} , equivalent conditions for A and f(|T|) to be generalized absolute values of T are established and corresponding to them generalized absolute values of T* are determined.      20. Polynomial Basins of Infinity      Laura DeMarco  Kevin M. Pilgrim 《Geometric And Functional Analysis》2011,21(4):920-950 We study the projection p: Md ? Bd{\pi : \mathcal{M}_d \rightarrow \mathcal{B}_d} which sends an affine conjugacy class of polynomial f : \mathbbC ? \mathbbC{f : \mathbb{C} \rightarrow \mathbb{C}} to the holomorphic conjugacy class of the restriction of f to its basin of infinity. When Bd{\mathcal{B}_d} is equipped with a dynamically natural Gromov–Hausdorff topology, the map π becomes continuous and a homeomorphism on the shift locus. Our main result is that all fibers of π are connected. Consequently, quasiconformal and topological basin-of-infinity conjugacy classes are also connected. The key ingredient in the proof is an analysis of model surfaces and model maps, branched covers between translation surfaces which model the local behavior of a polynomial.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Compact Toeplitz Operators for Weighted Bergman Spaces on Bounded Symmetric Domains

Let W ì \mathbb C^d{\Omega \subset{\mathbb C}^{d}} be an irreducible bounded symmetric domain of type (r, a, b) in its Harish–Chandra realization. We study Toeplitz operators Tⁿ_g{T^{\nu}_{g}} with symbol g acting on the standard weighted Bergman space H_n²{H_\nu^2} over Ω with weight ν. Under some conditions on the weights ν and ν ₀ we show that there exists C(ν, ν ₀) > 0, such that the Berezin transform [(g)\tilde]_n0{\tilde{g}_{\nu_{0}}} of g with respect to H²_n0{H^2_{\nu_0}} satisfies:

Maximum Hitting of a Set by Compressed Intersecting Families

For a family A{\mathcal{A}} and a set Z, denote {A ? A \colon A ?Z 1 ?}{\{A \in \mathcal{A} \colon A \cap Z \neq \emptyset\}} by A(Z){\mathcal{A}(Z)}. For positive integers n and r, let S_n,r{\mathcal{S}_{n,r}} be the trivial compressed intersecting family {A ? (c[n]r ) \colon 1 ? A}{\{A \in \big(\begin{subarray}{c}[n]\\r \end{subarray}\big) \colon 1 \in A\}}, where [n] : = {1, ?, n}{[n] := \{1, \ldots, n\}} and (c[n]r ) : = {A ì [n] \colon |A| = r}{\big(\begin{subarray}{c}[n]\\r \end{subarray}\big) := \{A \subset [n] \colon |A| = r\}}. The following problem is considered: For r ≤ n/2, which sets Z í [n]{Z \subseteq [n]} have the property that |A(Z)| ￡ |S_n,r(Z)|{|\mathcal{A}(Z)| \leq |\mathcal{S}_{n,r}(Z)|} for any compressed intersecting family A ì (c[n]r ){\mathcal{A}\subset \big(\begin{subarray}{c}[n]\\r \end{subarray}\big)}? (The answer for the case 1 ? Z{1 \in Z} is given by the Erdős–Ko–Rado Theorem.) We give a complete answer for the case |Z| ≥ r and a partial answer for the much harder case |Z| < r. This paper is motivated by the observation that certain interesting results in extremal set theory can be proved by answering the question above for particular sets Z. Using our result for the special case when Z is the r-segment {2, ?, r+1}{\{2, \ldots, r+1\}}, we obtain new short proofs of two well-known Hilton–Milner theorems. At the other extreme end, by establishing that |A(Z)| ￡ |S_n,r(Z)|{|\mathcal{A}(Z)| \leq |\mathcal{S}_{n,r}(Z)|} when Z is a final segment, we provide a new short proof of a Holroyd–Talbot extension of the Erdős-Ko-Rado Theorem.     

Pan-H-Linked Graphs

Let H be a multigraph, possibly containing loops. An H-subdivision is any simple graph obtained by replacing the edges of H with paths of arbitrary length. Let H be an arbitrary multigraph of order k, size m, n ₀(H) isolated vertices and n ₁(H) vertices of degree one. In Gould and Whalen (Graphs Comb. 23:165–182, 2007) it was shown that if G is a simple graph of order n containing an H-subdivision H{\mathcal{H}} and d(G) 3 \fracn+m-k+n₁(H)+2n₀(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}}, then G contains a spanning H-subdivision with the same ground set as H{\mathcal{H}} . As a corollary to this result, the authors were able to obtain Dirac’s famed theorem on hamiltonian graphs; namely that if G is a graph of order n ≥ 3 with d(G) 3 \fracn2{\delta(G)\ge\frac{n}{2}} , then G is hamiltonian. Bondy (J. Comb. Theory Ser. B 11:80–84, 1971) extended Dirac’s theorem by showing that if G satisfied the condition d(G) 3 \fracn2{\delta(G) \ge \frac{n}{2}} then G was either pancyclic or a complete bipartite graph. In this paper, we extend the result from Gould and Whalen (Graphs Comb. 23:165–182, 2007) in a similar manner. An H-subdivision H{\mathcal{H}} in G is 1-extendible if there exists an H-subdivision H^*{\mathcal{H}^{*}} with the same ground set as H{\mathcal{H}} and |H^*| = |H| + 1{|\mathcal{H}^{*}| = |\mathcal{H}| + 1} . If every H-subdivision in G is 1-extendible, then G is pan-H-linked. We demonstrate that if H is sufficiently dense and G is a graph of large enough order n such that d(G) 3 \fracn+m-k+n₁(H)+2n₀(H)2{\delta(G) \ge \frac{n+m-k+n_1(H)+2n_0(H)}{2}} , then G is pan-H-linked. This result is sharp.     

Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures

Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ ⁿ , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ ⁿ satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ ⁿ , |·|, d _λ ), or the space (S, d, ρ), where S ≡ ℝ ⁿ ⋉ ℝ⁺ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { X_s ( Y ) }_{0 < s \leqslant ￥}\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }_{0 < s \leqslant ￥}\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H ¹ ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L ₀¹ ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L ¹ ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X _s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X _s ( Y )\left( \mathcal{Y} \right) = H ¹ ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X _∞ ( Y )\left( \mathcal{Y} \right) = L ₀¹ ( Y )\left( \mathcal{Y} \right) (or L ¹ ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H ¹ ( Y )\left( \mathcal{Y} \right) to L ¹ ( Y )\left( \mathcal{Y} \right) and from L ¹ ( Y )\left( \mathcal{Y} \right) to L ^1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X _r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L ^1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ ⁿ , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ ⁿ , |·|, d _γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.     

Square Integrable Group Representations and?the?Uncertainty Principle

Let U be a square integrable representation of a Lie group G of transformations in a Hilbert space H\mathcal{H}, and let y ? H\psi\in\mathcal{H} be an admissible state. We call the product of variances in the state ψ, associated to two non-commuting infinitesimal operators T ₁ and T ₂, uncertainty measure.     

Generalized Absolute Values and Polar Decompositions of a Bounded Operator

Generalized absolute values as well as corresponding to them generalized polar decompositions of a bounded linear operator T of a Hilbert space H{\mathcal{H}} into a Hilbert space K{\mathcal{K}} are defined, motivated by the inequality |áTx, y?_K|² ￡ á|T|x, x?_Há|T^*|y, y?_K{|\langle{Tx}, {y}\rangle}_{\mathcal{K}}|^2 \leq \langle|T|x, {x}\rangle_{\mathcal{H}}\langle{|T^{*}|y}, {y}\rangle_{\mathcal{K}} . It is shown that there is a natural bijection between generalized absolute values of T and of T* which sends |T| to |T*|. For a bounded nonnegative operator A on H{\mathcal{H}} and a bounded Borel function f: \mathbbR₊ ? \mathbbR₊{f: \mathbb{R}_+ \to \mathbb{R}_+} , equivalent conditions for A and f(|T|) to be generalized absolute values of T are established and corresponding to them generalized absolute values of T* are determined.     

Polynomial Basins of Infinity

We study the projection p: M_d ? B_d{\pi : \mathcal{M}_d \rightarrow \mathcal{B}_d} which sends an affine conjugacy class of polynomial f : \mathbbC ? \mathbbC{f : \mathbb{C} \rightarrow \mathbb{C}} to the holomorphic conjugacy class of the restriction of f to its basin of infinity. When B_d{\mathcal{B}_d} is equipped with a dynamically natural Gromov–Hausdorff topology, the map π becomes continuous and a homeomorphism on the shift locus. Our main result is that all fibers of π are connected. Consequently, quasiconformal and topological basin-of-infinity conjugacy classes are also connected. The key ingredient in the proof is an analysis of model surfaces and model maps, branched covers between translation surfaces which model the local behavior of a polynomial.