Detecting subsystem symmetry protected topological order via entanglement entropy

Subsystem symmetry protected topological (SSPT) order is a type of quantum order that is protected by symmetries acting on lower-dimensional subsystems of the entire system. In this paper, we show how SSPT order can be characterized and detected by a constant correction to the entanglement area law, similar to the topological entanglement entropy. Focusing on the paradigmatic two-dimensional cluster phase as an example, we use tensor network methods to give an analytic argument that almost all states in the phase exhibit the same correction to the area law, such that this correction may be used to reliably detect the SSPT order of the cluster phase. Based on this idea, we formulate a numerical method that uses tensor networks to extract this correction from ground-state wave functions. We use this method to study the fate of the SSPT order of the cluster state under various external fields and interactions, and find that the correction persists unless a phase transition is crossed, or the subsystem symmetry is explicitly broken. Surprisingly, these results uncover that the SSPT order of the cluster state persists beyond the cluster phase, thanks to a new type of subsystem time-reversal symmetry. Finally, we discuss the correction to the area law found in three-dimensional cluster states on different lattices, indicating rich behavior for general subsystem symmetriesComment: 17 pages. v2: Published version, minor changes throughou

The Berlin Exoplanet Search Telescope II. Catalog of Variable Stars. I. Characterization of Three Southern Target Fields

A photometric survey of three Southern target fields with BEST II yielded the detection of 2,406 previously unknown variable stars and an additional 617 stars with suspected variability. This study presents a catalog including their coordinates, magnitudes, light curves, ephemerides, amplitudes, and type of variability. In addition, the variability of 17 known objects is confirmed, thus validating the results. The catalog contains a number of known and new variables that are of interest for further astrophysical investigations, in order to, e.g., search for additional bodies in eclipsing binary systems, or to test stellar interior models. Altogether, 209,070 stars were monitored with BEST II during a total of 128 nights in 2009/2010. The overall variability fraction of 1.2-1.5% in these target fields is well comparable to similar ground-based photometric surveys. Within the main magnitude range of $R\in\left[11,17\right]$, we identify 0.67(3)% of all stars to be eclipsing binaries, which indicates a completeness of about one third for this particular type in comparison to space surveys.Comment: accepted to A

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

Convex Independence in Permutation Graphs

A set C of vertices of a graph is P_3-convex if every vertex outside C has at most one neighbor in C. The convex hull \sigma(A) of a set A is the smallest P_3-convex set that contains A. A set M is convexly independent if for every vertex x \in M, x \notin \sigma(M-x). We show that the maximal number of vertices that a convexly independent set in a permutation graph can have, can be computed in polynomial time

Lagrangian and Hamiltonian two-scale reduction

Studying high-dimensional Hamiltonian systems with microstructure, it is an important and challenging problem to identify reduced macroscopic models that describe some effective dynamics on large spatial and temporal scales. This paper concerns the question how reasonable macroscopic Lagrangian and Hamiltonian structures can by derived from the microscopic system. In the first part we develop a general approach to this problem by considering non-canonical Hamiltonian structures on the tangent bundle. This approach can be applied to all Hamiltonian lattices (or Hamiltonian PDEs) and involves three building blocks: (i) the embedding of the microscopic system, (ii) an invertible two-scale transformation that encodes the underlying scaling of space and time, (iii) an elementary model reduction that is based on a Principle of Consistent Expansions. In the second part we exemplify the reduction approach and derive various reduced PDE models for the atomic chain. The reduced equations are either related to long wave-length motion or describe the macroscopic modulation of an oscillatory microstructure.Comment: 40 page

Sommerfeld's quantum condition of action and the spectra of Schwarzschild black hole

If the situation of quantum gravity nowadays is nearly the same as that of the quantum mechanics in it's early time of Bohr and Sommerfeld, then a first step study of the quantum gravity from Sommerfeld's quantum condition of action might be helpful. In this short paper the spectra of Schwarzschild black hole(SBH) in quasi-classical approach of quantum mechanics is given. We find the quantum of area, the quantum of entropy and the Hawking evaporation will cease as the black hole reaches its ground state.Comment: 7 pages, no figures, submitted to Classical and Quantum Gravit

Quasinormal modes prefer supersymmetry ?

One ambiguity in loop quantum gravity is the appearance of a free parameter which is called Immirzi parameter. Recently Dreyer has argued that this parameter may be fixed by considering the quasinormal mode spectrum of black holes, while at the price of changing the gauge group to SO(3) rather than the original one SU(2). Physically such a replacement is not quite natural or desirable. In this paper we study the relationship between the black hole entropy and the quasi normal mode spectrum in the loop quantization of N=1 supergravity. We find that a single value of the Immirzi parameter agrees with the semiclassical expectations as well. But in this case the lowest supersymmetric representation dominates, fitting well with the result based on statistical consideration. This suggests that, so long as fermions are included in the theory, supersymemtry may be favored for the consistency of the low energy limit of loop quantum gravity.Comment: 3 page

Geometry of Generic Isolated Horizons

Geometrical structures intrinsic to non-expanding, weakly isolated and isolated horizons are analyzed and compared with structures which arise in other contexts within general relativity, e.g., at null infinity. In particular, we address in detail the issue of singling out the preferred normals to these horizons required in various applications. This work provides powerful tools to extract invariant, physical information from numerical simulations of the near horizon, strong field geometry. While it complements the previous analysis of laws governing the mechanics of weakly isolated horizons, prior knowledge of those results is not assumed.Comment: 37 pages, REVTeX; Subsections V.B and V.C moved to a new Appenedix to improve the flow of main argument