The classical de Finetti theorem in probability theory relates symmetry under the permutation group with the independence of random variables. This result has application in quantum information. Here we study states that are invariant with respect to a natural action of the braid group, and we emphasize the pictorial formulation and interpretation of our results. We prove a new type of de Finetti theorem for the four-string, double-braid group acting on the parafermion algebra to braid qudits, a natural symmetry in the quon language for quantum information. We prove that a braid-invariant state is extremal if and only if it is a product state. Furthermore, we provide an explicit characterization of braid-invariant states on the parafermion algebra, including finding a distinction that depends on whether the order of the parafermion algebra is square free. We characterize the extremal nature of product states (an inverse de Finetti theorem).

We study a robust and efficient eigensolver for computing the positive dense spectrum of the two-dimensional transmission eigenvalue problem (TEP) which is derived from the Maxwell’s equation with complex media in pseudo-chiral model and the transverse magnetic mode. The discretized governing equations by the N ́ed ́elec edge element result in a large-scale quadratic eigenvalue problem (QEP). We estimate half of the positive eigenvalues of the QEP are on some interval which forms a dense spectrum of the QEP. The quadratic Jacobi-Davidson method with a so-called non-equivalence deflation technique is proposed to compute the dense spectrum of the QEP. Intensive numerical experiments show that our proposed method makes the convergence efficiently and robustly even it needs to compute more than 5000 desired eigenpairs. Numerical results also illustrate that the computed eigenvalue curves can be approximated by the non- linear functions which can be applied to estimate the density of the eigenvalues for the TEP.

The classical Minkowski formula is extended to spacelike codimension-two submanifolds in spacetimes which admit "hidden symmetry" from conformal Killing-Yano two-forms. As an application, we obtain an Alexandrov type theorem for spacelike codimension-two submanifolds in a static spherically symmetric spacetime: a codimension-two submanifold with constant normalized null expansion (null mean curvature) must lie in a shear-free (umbilical) null hypersurface. These results are generalized for higher order curvature invariants. In particular, the notion of mixed higher order mean curvature is introduced to highlight the special null geometry of the submanifold. Finally, Alexandrov type theorems are established for spacelike submanifolds with constant mixed higher order mean curvature, which are generalizations of hypersurfaces of constant Weingarten curvature in the Euclidean space.

Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.

The challenge of identifying symmetry-protected topological states (SPTs) is due to their lack of symmetry-breaking order parameters and intrinsic topological orders. For this reason, it is impossible to formulate SPTs under Ginzburg-Landau theory or probe SPTs via fractionalized bulk excitations and topology-dependent ground state degeneracy. However, the partition functions from path integrals with various symmetry twists are the universal SPT invariants defining topological probe responses, fully characterizing SPTs. In this work, we use gauge fields to represent those symmetry twists in closed spacetimes of any dimensionality and arbitrary topology. This allows us to express the SPT invariants in terms of continuum field theory. We show that SPT invariants of pure gauge actions describe the SPTs predicted by group cohomology, while the mixed gauge-gravity actions describe the beyond-group-cohomology SPTs, recently observed by Kapustin. We find new examples of mixed gauge-gravity actions for U(1) SPTs in 4+1D via mixing the gauge first Chern class with a gravitational Chern-Simons term, or viewed as a 5+1D Wess-Zumino-Witten term with a Pontryagin class. We rule out U(1) SPTs in 3+1D mixed with a Stiefel-Whitney class. We also apply our approach to the bosonic/fermionic topological insulators protected by U(1) charge and Z_2^T time-reversal symmetries whose pure gauge action is the axion θ-term. Field theory representations of SPT invariants not only serve as tools for classifying SPTs, but also guide us in designing physical probes for them. In addition, our field theory representations are independently powerful for studying group cohomology within the mathematical context.