Abstract Let$$\phi $$ be a positive map from the$$n\times n$$ matrices$$\mathcal {M}_n$$ to the$$m\times m$$ matrices$$\mathcal {M}_m$$ . It is known that$$\phi $$ is 2-positive if and only if for all$$K\in \mathcal {M}_n$$ and all strictly positive$$X\in \mathcal {M}_n$$ ,$$\phi (K^*X^{-1}K) \geqslant \phi (K)^*\phi (X)^{-1}\phi (K)$$ . This inequality is not generally true if$$\phi $$ is merely a Schwarz map. We show that the corresponding tracial inequality$${{\,\textrm{Tr}\,}}[\phi (K^*X^{-1}K)] \geqslant {{\,\textrm{Tr}\,}}[\phi (K)^*\phi (X)^{-1}\phi (K)]$$ holds for a wider class of positive maps that is specified here. We also comment on the connections of this inequality with various monotonicity statements that have found wide use in mathematical physics, and apply it, and a close relative, to obtain some new, definitive results.
more »
« less
Algebraic stability of meromorphic maps descended from Thurston’s pullback maps
Let ϕ : S 2 → S 2 \phi :S^2 \to S^2 be an orientation-preserving branched covering whose post-critical set has finite cardinality n n . If ϕ \phi has a fully ramified periodic point p ∞ p_{\infty } and satisfies certain additional conditions, then, by work of Koch, ϕ \phi induces a meromorphic self-map R ϕ R_{\phi } on the moduli space M 0 , n \mathcal {M}_{0,n} ; R ϕ R_{\phi } descends from Thurston’s pullback map on Teichmüller space. Here, we relate the dynamics of R ϕ R_{\phi } on M 0 , n \mathcal {M}_{0,n} to the dynamics of ϕ \phi on S 2 S^2 . Let ℓ \ell be the length of the periodic cycle in which the fully ramified point p ∞ p_{\infty } lies; we show that R ϕ R_{\phi } is algebraically stable on the heavy-light Hassett space corresponding to ℓ \ell heavy marked points and ( n − ℓ ) (n-\ell ) light points.
more »
« less
- Award ID(s):
- 1703308
- PAR ID:
- 10299906
- Date Published:
- Journal Name:
- Transactions of the American Mathematical Society
- Volume:
- 374
- Issue:
- 1040
- ISSN:
- 0002-9947
- Page Range / eLocation ID:
- 565 to 587
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We study holomorphic mapsFfrom a smooth Levi non-degenerate real hypersurface$$ M_{\ell }\subset {\mathbb {C}}^n $$ into a hyperquadric$$ {\mathbb {H}}_{\ell '}^N $$ with signatures$$ \ell \le (n-1)/2 $$ and$$ \ell '\le (N-1)/2,$$ respectively. Assuming that$$ N - n < n - 1,$$ we prove that if$$ \ell = \ell ',$$ thenFis either CR transversal to$$ {\mathbb {H}}_{\ell }^N $$ at every point of$$ M_{\ell },$$ or it maps a neighborhood of$$ M_{\ell } $$ in$$ {\mathbb {C}}^n $$ into$$ {\mathbb {H}}_{\ell }^N.$$ Furthermore, in the case where$$ \ell ' > \ell ,$$ we show that ifFis not CR transversal at$$0\in M_\ell ,$$ then it must be transversally flat. The latter is best possible.more » « less
-
Abstract Let$$p_{1},\ldots ,p_{n}$$ be a set of points in the unit square and let$$T_{1},\ldots ,T_{n}$$ be a set of$$\delta $$ -tubes such that$$T_{j}$$ passes through$$p_{j}$$ . We prove a lower bound for the number of incidences between the points and tubes under a natural regularity condition (similar to Frostman regularity). As a consequence, we show that in any configuration of points$$p_{1},\ldots , p_{n} \in [0,1]^{2}$$ along with a line$$\ell _{j}$$ through each point$$p_{j}$$ , there exist$$j\neq k$$ for which$$d(p_{j}, \ell _{k}) \lesssim n^{-2/3+o(1)}$$ . It follows from the latter result that any set of$$n$$ points in the unit square contains three points forming a triangle of area at most$$n^{-7/6+o(1)}$$ . This new upper bound for Heilbronn’s triangle problem attains the high-low limit established in our previous work arXiv:2305.18253.more » « less
-
Let $$\unicode[STIX]{x1D6FC}\in \mathbb{R}\backslash \mathbb{Q}$$ and $$\unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D6FC})=\limsup _{n\rightarrow \infty }(\ln q_{n+1})/q_{n}<\infty$$ , where $$p_{n}/q_{n}$$ is the continued fraction approximation to $$\unicode[STIX]{x1D6FC}$$ . Let $$(H_{\unicode[STIX]{x1D706},\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}}u)(n)=u(n+1)+u(n-1)+2\unicode[STIX]{x1D706}\cos 2\unicode[STIX]{x1D70B}(\unicode[STIX]{x1D703}+n\unicode[STIX]{x1D6FC})u(n)$$ be the almost Mathieu operator on $$\ell ^{2}(\mathbb{Z})$$ , where $$\unicode[STIX]{x1D706},\unicode[STIX]{x1D703}\in \mathbb{R}$$ . Avila and Jitomirskaya [The ten Martini problem. Ann. of Math. (2), 170 (1) (2009), 303–342] conjectured that, for $$2\unicode[STIX]{x1D703}\in \unicode[STIX]{x1D6FC}\mathbb{Z}+\mathbb{Z}$$ , $$H_{\unicode[STIX]{x1D706},\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}}$$ satisfies Anderson localization if $$|\unicode[STIX]{x1D706}|>e^{2\unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D6FC})}$$ . In this paper, we develop a method to treat simultaneous frequency and phase resonances and obtain that, for $$2\unicode[STIX]{x1D703}\in \unicode[STIX]{x1D6FC}\mathbb{Z}+\mathbb{Z}$$ , $$H_{\unicode[STIX]{x1D706},\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}}$$ satisfies Anderson localization if $$|\unicode[STIX]{x1D706}|>e^{3\unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D6FC})}$$ .more » « less
-
null (Ed.)Given integers $$g,n\geqslant 0$$ satisfying $2-2g-n<0$ , let $${\mathcal{M}}_{g,n}$$ be the moduli space of connected, oriented, complete, finite area hyperbolic surfaces of genus $$g$$ with $$n$$ cusps. We study the global behavior of the Mirzakhani function $$B:{\mathcal{M}}_{g,n}\rightarrow \mathbf{R}_{{\geqslant}0}$$ which assigns to $$X\in {\mathcal{M}}_{g,n}$$ the Thurston measure of the set of measured geodesic laminations on $$X$$ of hyperbolic length $${\leqslant}1$$ . We improve bounds of Mirzakhani describing the behavior of this function near the cusp of $${\mathcal{M}}_{g,n}$$ and deduce that $$B$$ is square-integrable with respect to the Weil–Petersson volume form. We relate this knowledge of $$B$$ to statistics of counting problems for simple closed hyperbolic geodesics.more » « less
An official website of the United States government

