Equation Problem over central extensions of hyperbolic groups

The Equation Problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions of hyperbolic groups is solvable.Comment: 28 page

Gapless edges of 2d topological orders and enriched monoidal categories

In this work, we give a precise mathematical description of a fully chiral gapless edge of a 2d topological order (without symmetry). We show that the observables on the 1+1D world sheet of such an edge consist of a family of topological edge excitations, boundary CFT's and walls between boundary CFT's. These observables can be described by a chiral algebra and an enriched monoidal category. This mathematical description automatically includes that of gapped edges as special cases. Therefore, it gives a unified framework to study both gapped and gapless edges. Moreover, the boundary-bulk duality also holds for gapless edges. More precisely, the unitary modular tensor category that describes the 2d bulk phase is exactly the Drinfeld center of the enriched monoidal category that describes the gapless/gapped edge. We propose a classification of all gapped and fully chiral gapless edges of a given bulk phase. In the end, we explain how modular-invariant bulk conformal field theories naturally emerge on certain gapless walls between two trivial phases.Comment: 26 pages, 8 figures, An explanation of the appearance of boundary CFT's on a chiral gapless edge, which is based on a generalized "no-go theorem", is added. Final versio

A note on directed 4-cycles in digraphs

Using some combinatorial techniques, in this note, it is proved that if $\alpha\geq 0.28866$, then any digraph on $n$ vertices with minimum outdegree at least $\alpha n$ contains a directed cycle of length at most 4