The classification and construction of symmetry-protected topological (SPT) phases in interacting boson and fermion systems have become a fascinating theoretical direction in recent years. It has been shown that (generalized) group cohomology theory or cobordism theory gives rise to a complete classification of SPT phases in interacting boson or spin systems. The construction and classification of SPT phases in interacting fermion systems are much more complicated, especially in three dimensions. In this work, we revisit this problem based on an equivalence class of fermionic symmetric local unitary transformations. We construct very general fixed-point SPT wave functions for interacting fermion systems. We naturally reproduce the partial classifications given by special group supercohomology theory, and we show that with an additional \tilde{B}H^2(G_b,\mathbb{Z}_2) structure [the so-called obstruction-free subgroup of H^2(G_b,\mathbb{Z}_2)], a complete classification of SPT phases for three-dimensional interacting fermion systems with a total symmetry group G_f = G_b × \mathbb{Z}^f_2 can be obtained for unitary symmetry group G_b. We also discuss the procedure for deriving a general group supercohomology theory in arbitrary dimensions.

We consider the Cauchy problem for the massive Dirac equation in the non-extreme Kerr-Newman geometry outside the event horizon. We derive an integral representation for the Dirac propagator involving the solutions of the ODEs which arise in Chandrasekhar's separation of variables. It is proved that for initial data in L infinity loc near the event horizon with L 2 decay at infinity, the probability of the Dirac particle to be in any compact region of space tends to zero as t goes to infinity. This means that the Dirac particle must either disappear in the black hole or escape to infinity.

Alexandrov proved that any simplicial complex homeomorphic to a sphere with strictly non-negative Gaussian curvature at each vertex can be isometrically embedded uniquely in {{\mathbb {R}}}^{3} as a convex polyhedron. Due to the nonconstructive nature of his proof, there have yet to be any algorithms, that we know of, that realizes the Alexandrov embedding in polynomial time. Following his proof, we developed the adiabatic isometric mapping (AIM) algorithm. AIM uses a guided adiabatic pull-back procedure on a given polyhedral metric to produce an embedding that approximates the unique Alexandrov polyhedron. Tests of AIM applied to two different polyhedral metrics suggests that its run time is sub cubic with respect to the number of vertices. Although Alexandrov's theorem specifically addresses the embedding of convex polyhedral metrics, we tested AIM on a broader class of polyhedral metrics that included regions of

We propose an exactly solvable lattice Hamiltonian model of topological phases in 3+1 dimensions, based on a generic finite group G and a 4-cocycle ω over G. We show that our model has topologically protected degenerate ground states and obtain the formula of its ground state degeneracy on the 3-torus. In particular, the ground state spectrum implies the existence of purely three-dimensional looplike quasi-excitations specified by two nontrivial flux indices and one charge index. We also construct other nontrivial topological observables of the model, namely the SL(3,Z) generators as the modular S and T matrices of the ground states, which yield a set of topological quantum numbers classified by ω and quantities derived from ω. Our model fulfills a Hamiltonian extension of the 3+1-dimensional Dijkgraaf-Witten topological gauge theory with a gauge group G. This work is presented to be accessible for a wide range of physicists and mathematicians.

This paper is mainly inspired by the conjecture about the existence of bound states for magnetic Neumann Laplacians on planar wedges of any aperture <i></i> (0, <i></i>). So far, a proof was only obtained for apertures <i></i> 0.511. The conviction in the validity of this conjecture for apertures <i></i> 0.511<i></i> mainly relied on numerical computations. In this paper we succeed to prove the existence of bound states for any aperture <i></i> 0.583 using a variational argument with suitably chosen test functions. Employing some more involved test functions and combining a variational argument with computer assistance, we extend this interval up to any aperture <i></i> 0.595<i></i>. Moreover, we analyse the same question for closely related problems concerning magnetic Robin Laplacians on wedges and for magnetic Schrdinger operators in the plane with <i></i>-interactions supported on broken lines.