5 citations · 13 across the 7 of their papers we have counts for
8 papers
Causal shadow and non-local modular flow: from degeneracy to perturbative genesis by correlation
Liangyu Chen, Huajia Wang
Causal shadows are bulk space-time regions between the entanglement wedges and the causal wedges, their existence encodes deep aspects of the entanglement wedge reconstruction in t…
Shape dependence of mutual information in the OPE limit: linear responses
Liangyu Chen, Huajia Wang
Mutual information serves as an important measure of correlation between subsystem components. In the framework of quantum field theories (QFTs) they have better regulated UV behav…
Reiterman's Theorem on Finite Algebras for a Monad
Jiri Adamek, Liang-Ting Chen, Stefan Milius +1
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~cla…
An algebraic theory for data linkage
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
There are countless sources of data available to governments, companies, and citizens, which can be combined for good or evil. We analyse the concepts of combining data from common…
Schützenberger Products in a Category
Liang-Ting Chen, Henning Urbat
The Schützenberger product of monoids is a key tool for the algebraic treatment of language concatenation. In this paper we generalize the Schützenberger product to the level of mo…
Eilenberg Theorems for Free
Henning Urbat, Jiří Adámek, Liang-Ting Chen +1
Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebra…
Profinite Monads, Profinite Equations, and Reiterman's Theorem
Liang-Ting Chen, Jiri Adamek, Stefan Milius +1
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. cla…
A Fibrational Approach to Automata Theory
Liang-Ting Chen, Henning Urbat
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely gener…