An official website of the United States government
This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) .
more »
« less
Classification of Deformable Smooth Shapes Through Geodesic Flows of Diffeomorphisms
Let $$\mathcal{D}$$ be a dataset of smooth {3D}-surfaces, partitioned into disjoint classes $$\mli{CL}_j$$, $$j= 1, \ldots, k$$. We show how \emph{optimized diffeomorphic registration} applied to large numbers of pairs $$S,S' \in \mathcal{D}$$ can provide descriptive feature vectors to implement automatic classification on $$\mathcal{D}$$, and generate classifiers invariant by rigid motions in $$\mathbb{R}^3$$. To enhance accuracy of automatic classification, we enrich the smallest classes $$\mli{CL}_j$$ by diffeomorphic interpolation of smooth surfaces between pairs $$S,S' \in \mli{CL}_j$$. We also implement small random perturbations of surfaces $$S\in \mli{CL}_j$$ by random flows of smooth diffeomorphisms $$F_t:\mathbb{R}^3 \to \mathbb{R}^3$$. Finally, we test our automatic classification methods on a cardiology data base of discretized mitral valve surfaces.
more »
« less
- PAR ID:
- 10555347
- Publisher / Repository:
- Springer
- Date Published:
- Journal Name:
- Journal of Mathematical Imaging and Vision
- Volume:
- 66
- Issue:
- 6
- ISSN:
- 0924-9907
- Page Range / eLocation ID:
- 1033 to 1059
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Given a smooth quasi-projective complex algebraic variety $$\mathcal{S}$$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $$\mathcal{S}$$ of degree $$d$$ in $$\mathbb{P}_{\mathbb C}^{n+1}$$. We prove that the finiteness is uniform in $$\mathcal{S}$$ and give examples where the result is sharp. We also prove similar results for certain complete intersections in $$\mathbb{P}_{\mathbb C}^{n+1}$$ of higher codimension and more generally for algebraic varieties whose moduli space admits a period map that satisfies the infinitesimal Torelli theorem.more » « less
-
Abstract Persistent Betti numbers are a major tool in persistent homology, a subfield of topological data analysis. Many tools in persistent homology rely on the properties of persistent Betti numbers considered as a two-dimensional stochastic process$$ (r,s) \mapsto n^{-1/2} (\beta^{r,s}_q ( \mathcal{K}(n^{1/d} \mathcal{X}_n))-\mathbb{E}[\beta^{r,s}_q ( \mathcal{K}( n^{1/d} \mathcal{X}_n))])$$. So far, pointwise limit theorems have been established in various settings. In particular, the pointwise asymptotic normality of (persistent) Betti numbers has been established for stationary Poisson processes and binomial processes with constant intensity function in the so-called critical (or thermodynamic) regime; see Yogeshwaranet al.(Prob. Theory Relat. Fields167, 2017) and Hiraokaet al.(Ann. Appl. Prob.28, 2018). In this contribution, we derive a strong stabilization property (in the spirit of Penrose and Yukich,Ann. Appl. Prob.11, 2001) of persistent Betti numbers, and we generalize the existing results on their asymptotic normality to the multivariate case and to a broader class of underlying Poisson and binomial processes. Most importantly, we show that multivariate asymptotic normality holds for all pairs (r,s),$$0\le r\le s<\infty$$, and that it is not affected by percolation effects in the underlying random geometric graph.more » « less
-
Abstract We construct a single smooth orthogonal projection with desired localization whose average under a group action yields the decomposition of the identity operator. For any full rank lattice $$\Gamma \subset \mathbb {R}^d$$ Γ ⊂ R d , a smooth projection is localized in a neighborhood of an arbitrary precompact fundamental domain $$\mathbb {R}^d/\Gamma $$ R d / Γ . We also show the existence of a highly localized smooth orthogonal projection, whose Marcinkiewicz average under the action of SO ( d ), is a multiple of the identity on $$L^2(\mathbb {S}^{d-1})$$ L 2 ( S d - 1 ) . As an application we construct highly localized continuous Parseval frames on the sphere.more » « less
-
null (Ed.)We consider the regression problem of estimating functions on $$ \mathbb{R}^D $$ but supported on a $ d $-dimensional manifold $$ \mathcal{M} ~~\subset \mathbb{R}^D $$ with $$ d \ll D $$. Drawing ideas from multi-resolution analysis and nonlinear approximation, we construct low-dimensional coordinates on $$ \mathcal{M} $$ at multiple scales, and perform multiscale regression by local polynomial fitting. We propose a data-driven wavelet thresholding scheme that automatically adapts to the unknown regularity of the function, allowing for efficient estimation of functions exhibiting nonuniform regularity at different locations and scales. We analyze the generalization error of our method by proving finite sample bounds in high probability on rich classes of priors. Our estimator attains optimal learning rates (up to logarithmic factors) as if the function was defined on a known Euclidean domain of dimension $ d $, instead of an unknown manifold embedded in $$ \mathbb{R}^D $$. The implemented algorithm has quasilinear complexity in the sample size, with constants linear in $ D $ and exponential in $ d $. Our work therefore establishes a new framework for regression on low-dimensional sets embedded in high dimensions, with fast implementation and strong theoretical guarantees.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/s10851-024-01211-z
