More Like this

1. On the three ball theorem for solutions of the Helmholtz equation

   https://doi.org/10.1007/s40627-021-00070-3  

   Berge, Stine Marie; Malinnikova, Eugenia (June 2021, Complex Analysis and its Synergies)

   null (Ed.)

   Abstract Let $$u_{k}$$ u k be a solution of the Helmholtz equation with the wave number k , $$\varDelta u_{k}+k^{2} u_{k}=0$$ Δ u k + k 2 u k = 0 , on (a small ball in) either $${\mathbb {R}}^{n}$$ R n , $${\mathbb {S}}^{n}$$ S n , or $${\mathbb {H}}^{n}$$ H n . For a fixed point p , we define $$M_{u_{k}}(r)=\max _{d(x,p)\le r}|u_{k}(x)|.$$ M u k ( r ) = max d ( x , p ) ≤ r | u k ( x ) | . The following three ball inequality $$M_{u_{k}}(2r)\le C(k,r,\alpha )M_{u_{k}}(r)^{\alpha }M_{u_{k}}(4r)^{1-\alpha }$$ M u k ( 2 r ) ≤ C ( k , r , α ) M u k ( r ) α M u k ( 4 r ) 1 - α is well known, it holds for some $$\alpha \in (0,1)$$ α ∈ ( 0 , 1 ) and $$C(k,r,\alpha )>0$$ C ( k , r , α ) > 0 independent of $$u_{k}$$ u k . We show that the constant $$C(k,r,\alpha )$$ C ( k , r , α ) grows exponentially in k (when r is fixed and small). We also compare our result with the increased stability for solutions of the Cauchy problem for the Helmholtz equation on Riemannian manifolds. 

   more » « less
2. Radius of comparison and mean topological dimension: -actions

   https://doi.org/10.4153/S0008414X2300038X  

   Niu, Zhuang (June 2023, Canadian Journal of Mathematics)

   Abstract Consider a minimal-free topological dynamical system $$(X, \mathbb Z^d)$$ . It is shown that the radius of comparison of the crossed product C*-algebra $$\mathrm {C}(X) \rtimes \mathbb Z^d$$ is at most half the mean topological dimension of $$(X, \mathbb Z^d)$$ . As a consequence, the C*-algebra $$\mathrm {C}(X) \rtimes \mathbb Z^d$$ is classified by the Elliott invariant if the mean dimension of $$(X, \mathbb Z^d)$$ is zero. 

   more » « less
3. DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

   https://doi.org/10.4171/QT/216  

   Jones, Corey (October 2024, Quantum Topology)

   For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show that it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a latticeL\subseteq \mathbb{R}^{n}satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebrasAof operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric QCA to\mathbf{Aut}_{\mathrm{br}}(\mathbf{DHR}(A)), containing symmetric finite-depth circuits in the kernel. For a spin chain with fusion categorical symmetry\mathcal{D}, we show that the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center\mathcal{Z}(\mathcal{D}). We use this to show that, for the double spin-flip action\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}, the group of symmetric QCA modulo symmetric finite-depth circuits in 1D contains a copy ofS_{3}; hence, it is non-abelian, in contrast to the case with no symmetry. 

   more » « less
4. Stable Isomorphisms of Operator Algebras

   https://doi.org/10.1093/imrn/rnad146  

   Kakariadis, Evgenios_T A; Katsoulis, Elias G; Li, Xin (July 2023, International Mathematics Research Notices)

   Abstract Let $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ be operator algebras with $$c_{0}$$-isomorphic diagonals and let $${{\mathcal{K}}}$$ denote the compact operators. We show that if $${{\mathcal{A}}}\otimes{{\mathcal{K}}}$$ and $${{\mathcal{B}}}\otimes{{\mathcal{K}}}$$ are isometrically isomorphic, then $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ are isometrically isomorphic. If the algebras $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ satisfy an extra analyticity condition a similar result holds with $${{\mathcal{K}}}$$ being replaced by any operator algebra containing the compact operators. For nonselfadjoint graph algebras this implies that the graph is a complete invariant for various types of isomorphisms, including stable isomorphisms, thus strengthening a recent result of Dor-On, Eilers, and Geffen. Similar results are proven for algebras whose diagonals satisfy cancellation and have $$K_{0}$$-groups isomorphic to $${{\mathbb{Z}}}$$. This has implications in the study of stable isomorphisms between various semicrossed products. 

   more » « less
5. Universal features of higher-form symmetries at phase transitions

   https://doi.org/10.21468/SciPostPhys.11.2.033  

   Wu, Xiao-Chuan; Jian, Chao-Ming; Xu, Cenke (January 2021, SciPost Physics)

   We investigate the behavior of higher-form symmetries at variousquantum phase transitions. We consider discrete 1-form symmetries, whichcan be either part of the generalized concept “categorical symmetry”(labelled as \tilde{Z}_N^{(1)} Z ̃ N ( 1 ) )introduced recently, or an explicit Z_N^{(1)} Z N ( 1 ) 1-form symmetry. We demonstrate that for many quantum phase transitionsinvolving a Z_N^{(1)} Z N ( 1 ) or \tilde{Z}_N^{(1)} Z ̃ N ( 1 ) symmetry, the following expectation value \langle \left( O_\mathcal{C}\right)^2 \rangle ⟨ ( O 𝒞 ) 2 ⟩ takes the form \langle \left( \log O_\mathcal{C} \right)^2 \rangle \sim - \frac{A}{\epsilon} P + b \log P ⟨ ( log O 𝒞 ) 2 ⟩ ∼ − A ϵ P + b log P , where O_\mathcal{C} O 𝒞 is an operator defined associated with loop \mathcal{C} 𝒞 (or its interior \mathcal{A} 𝒜 ),which reduces to the Wilson loop operator for cases with an explicit Z_N^{(1)} Z N ( 1 ) 1-form symmetry. P P is the perimeter of \mathcal{C} 𝒞 ,and the b \log P b log P term arises from the sharp corners of the loop \mathcal{C} 𝒞 ,which is consistent with recent numerics on a particular example. b b is a universal microscopic-independent number, which in (2+1)d ( 2 + 1 ) d is related to the universal conductivity at the quantum phasetransition. b b can be computed exactly for certain transitions using the dualitiesbetween (2+1)d ( 2 + 1 ) d conformal field theories developed in recent years. We also compute the"strange correlator" of O_\mathcal{C} O 𝒞 : S_{\mathcal{C}} = \langle 0 | O_\mathcal{C} | 1 \rangle / \langle 0 | 1 \rangle S 𝒞 = ⟨ 0 | O 𝒞 | 1 ⟩ / ⟨ 0 | 1 ⟩ where |0\rangle | 0 ⟩ and |1\rangle | 1 ⟩ are many-body states with different topological nature. 

   more » « less