No abstract uploaded!

In this work we investigate the decorated domain wall construction in bosonic group-cohomology symmetry-protected topological (SPT) phases and related quantum anomalies in bosonic topological phases. We first show that a general decorated domain wall construction can be described mathematically as an Atiyah-Hirzebruch spectral sequence, where the terms on the E2 page correspond to decorations by lower-dimensional SPT states at domain wall junctions. For bosonic group-cohomology SPT phases, the spectral sequence becomes the Lyndon-Hochschild-Serre (LHS) spectral sequence for ordinary group cohomology. We then discuss the physical interpretations of the differentials in the spectral sequence, particularly in the context of anomalous SPT phases and symmetry-enriched gauge theories. As the main technical result, we obtain a full description of the LHS spectral sequence concretely at the cochain level. The explicit formulae are then applied to explain Lieb-Schultz-Mattis theorems for SPT phases, and also derive a new LSM theorem for easy-plane spin model in a π flux lattice. We also revisit the classifications of symmetry-enriched 2D and 3D Abelian gauge theories using our results.

No abstract uploaded!

No abstract uploaded!

We present novel algorithms for compressible flows that\n\nare efficient for all Mach numbers. The approach is based on several\n\ningredients: semi-implicit schemes, the gauge decomposition\n\nof the velocity field and a second order formulation of the density\n\nequation (in the isentropic case) and of the energy equation (in\n\nthe full Navier-Stokes case). Additionally, we show that our approach\n\ncorresponds to a micro-macro decomposition of the model,\n\nwhere the macro field corresponds to the incompressible component\n\nsatisfying a perturbed low Mach number limit equation and\n\nthe micro field is the potential component of the velocity. Finally,\n\nwe also use the conservative variables in order to obtain a proper\n\nconservative formulation of the equations when the Mach number\n\nis order unity. We successively consider the isentropic case, the\n\nfull Navier-Stokes case, and the isentropic Navier-Stokes-Poisson\n\ncase. In this work, we only concentrate on the question of the\n\ntime discretization and show that the proposed method leads to\n\nAsymptotic Preserving schemes for compressible flows in the low\n\nMach number limit.