arXiv subjects

Linzhe Huang

Publications and source records attributed to Linzhe Huang.

11 recordsLinked to original sources

arXiv2026

Equivalence of states and bimodule quantum channels

We study the action of quantum channels on states on a von Neumann algebra $\mathcal{M}$ with conserved quantities encoded by a subalgebra $\mathcal{N}$. We define a phase as an equivalence class of normal states on $\mathcal{M}$ under the action of quantum channels preserving $\mathcal{N}$. First, we establish a relative quasi-entropic characterization of phase equivalence using the Petz recovery map. We further introduce the operator algebra (OA) symmetry of a state and define an equivalence relation between OA symmetries via bishifts of biprojections. When $\mathcal{N}\subseteq\mathcal{M}$ is an irreducible finite-index subfactor of type II$_1$, we prove that phase equivalence implies OA symmetry equivalence. Consequently, OA symmetry breaking provides a sufficient mechanism for detecting phase transitions. Furthermore, combining finite-index subfactor theory with quantum Fourier analysis, we prove that the cardinality of each phase is finite and obtain an explicit upper bound depending only on the Jones index.

math.OA↗

arXiv2026

Phase Group Categories of Bimodule Quantum Channels

In this paper, we study the quantum channel on a von Neuamnn algebra $\mathcal{M}$ preserving a von Neumann subalgebra $\mathcal{N}$, namely an $\mathcal{N}$-$\mathcal{N}$-bimodule unital completely positive map. By introducing the relative irreducibility of a bimodule quantum channel, we show that its eigenvalues with modulus 1 form a finite cyclic group, called its phase group. Moreover, the corresponding eigenspaces are invertible $\mathcal{N}$-$\mathcal{N}$-bimodules, which encode a categorification of the phase group. When $\mathcal{N}\subset \mathcal{M}$ is a finite-index irreducible subfactor of type II$_1$, we prove that any bimodule quantum channel is relatively irreducible for the intermediate subfactor of its fixed points. In addition, we can reformulate and prove these results intrinsically in subfactor planar algebras without referring to the subfactor using the methods of quantum Fourier analysis.

math.OA↗

arXiv2025

Free semigroupoid algebras and the first cohomology groups

This paper investigates derivations of the free semigroupoid algebra $\mathfrak{L}_G$ of a countable or uncountable directed graph $G$ and its norm-closed version, the tensor algebra $\mathcal{A}_G$. We first prove a weak Dixmier approximation theorem for $\mathfrak{L}_G$ when $G$ is strongly connected. Using the theorem, we show that if every connected component of $G$ is strongly connected, then every bounded derivation $δ$ from $\mathcal{A}_G$ into $\mathfrak{L}_G$ is of the form $δ=δ_T$ for some $T\in\mathfrak{L}_G$ with $\|T\|\leqslant\|δ\|$. For any finite directed graph $G$, we also show that the first cohomology group $H^1(\mathcal{A}_G,\mathfrak{L}_G)$ vanishes if and only if every connected component of $G$ is either strongly connected or a fruit tree. To handle infinite directed graphs, we introduce the alternating number and propose \Cref{conj intro-in-tree}. Suppose every connected component of $G$ is not strongly connected. We show that if every bounded derivation from $\mathcal{A}_G$ into $\mathfrak{L}_G$ is inner, then every connected component of $G$ is a generalized fruit tree and the alternating number $A(G)$ of $G$ is finite. The converse is also true if the conjecture holds. Finally, we provide some examples of free semigroupoid algebras together with their nontrivial first cohomology groups.

math.OA↗

arXiv2025

Quantum inequalities and their applications

In recent years, various quantum inequalities have been established on quantum symmetries in the framework of quantum Fourier analysis. We provide a detailed introduction to quantum inequalities including Hausdorff-Young inequality, Young's inequality, uncertainty principles, entropic convolution inequalities etc on subfactors, an important type of quantum symmetries. We cite several applications of the complete positivity of the comultiplication in category theory and subfactor theory, which indicate the fundamental differences between quantum inequalities and non-commutative inequalities. We also review the Perron-Frobenius theorem together with the algebraic structures of eigenvector spaces.

math.OA↗

arXiv2024

Hochschild cohomology for free semigroup algebras

This paper focuses on the cohomology of operator algebras associated with the free semigroup generated by the set $\{z_α\}_{α\inΛ}$, with the left regular free semigroup algebra $\mathfrak{L}_Λ$ and the non-commutative disc algebra $\mathfrak{A}_Λ$ serving as two typical examples. We establish that all derivations of these algebras are automatically continuous. By introducing a novel computational approach, we demonstrate that the first Hochschild cohomology group of $\mathfrak{A}_Λ$ with coefficients in $\mathfrak{L}_Λ$ is zero. Utilizing the Cesàro operators and conditional expectations, we show that the first normal cohomology group of $\mathfrak{L}_Λ$ is trivial. Finally, we prove that the higher cohomology groups of the non-commutative disc algebras with coefficients in the complex field vanish when $|Λ|<\infty$. These methods extend to compute the cohomology groups of a specific class of operator algebras generated by the left regular representations of cancellative semigroups, which notably include Thompson's semigroup.

math.OA↗

arXiv2023

The Quantum Perron-Frobenius Space

We introduce $\mathfrak{F}$-positive elements in planar algebras. We establish the Perron-Frobenius theorem for $\mathfrak{F}$-positive elements. We study the existence and uniqueness of the Perron-Frobenius eigenspace. When it is not one-dimensional, we characterize its multiplicative structure. Moreover, we consider the Perron-Frobenius eigenspace as the space of logical qubits for mixed states in quantum information. We describe the relation between these mathematical results and quantum error correction, especially to the Knill-Laflamme theorem.

math.OA↗

arXiv2022

Complete Positivity of Comultiplication and Primary Criteria for Unitary Categorification

In this paper, we investigate quantum Fourier analysis on subfactors and unitary fusion categories. We prove the complete positivity of the comultiplication for subfactors and derive a primary $n$-criterion of unitary categorifcation of multifusion rings. It is stronger than the Schur product criterion when $n\geq3$. The primary criterion could be transformed into various criteria which are easier to check in practice even for noncommutative, high-rank, high-multiplicity, multifusion rings. More importantly, the primary criterion could be localized on a sparse set, so that it works for multifusion rings with sparse known data. We give numerous examples to illustrate the efficiency and the power of these criteria.

math.OA↗

arXiv2022

Quantum convolution inequalities on Frobenius von Neumann algebras

In this paper, we introduce Frobenius von Neumann algebras and study quantum convolution inequalities. In this framework, we unify quantum Young's inequality on quantum symmetries such as subfactors, and fusion bi-algebras studied in quantum Fourier analysis. Moreover, we prove quantum entropic convolution inequalities and characterize the extremizers in the subfactor case. We also prove quantum smooth entropic convolution inequalities. We obtain the positivity of comultiplications of subfactor planar algebras, which is stronger than the quantum Schur product theorem. All these inequalities provide analytic obstructions of unitary categorification of fusion rings stronger than Schur product criterion.

math.OA↗

arXiv2022

Thompson's semigroup and the first Hochschild cohomology

In this paper, we apply the theory of algebraic cohomology to study the amenability of Thompson's group $\mathcal{F}$. We introduce the notion of unique factorization semigroup which contains Thompson's semigroup $\mathcal{S}$ and the free semigroup $\mathcal{F}_n$ on $n$ generators ($\geq2$). Let $\mathfrak{B}(\mathcal{S})$ and $\mathfrak{B}(\mathcal{F}_n)$ be the Banach algebras generated by the left regular representations of $\mathcal{S}$ and $\mathcal{F}_n$, respectively. It is proved that all derivations on $\mathfrak{B}(\mathcal{S})$ and $\mathfrak{B}(\mathcal{F}_n)$ are automatically continuous, and every derivation on $\mathfrak{B}(\mathcal{S})$ is induced by a bounded linear operator in $\mathcal{L}(\mathcal{S})$, the weak closed Banach algebra consisting of all bounded left convolution operators on $l^2(\mathcal{S})$. Moreover, we show that the first continuous Hochschild cohomology group of $\mathfrak{B}(\mathcal{S})$ with coefficients in $\mathcal{L}(\mathcal{S})$ vanishes. These conclusions provide positive indications for the left amenability of Thompson's semigroup.

math.OA↗

arXiv2022

On cleanness of von Neumann algebras

A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which von Neumann algebras are clean as rings? In this paper, we characterize strongly clean von Neumann algebras and prove that all finite von Neumann algebras and all separable infinite factors are clean.

math.OA↗

arXiv2021

Quantum smooth uncertainty principles for von Neumann bi-algebras

In this article, we prove various smooth uncertainty principles on von Neumann bi-algebras, which unify numbers of uncertainty principles on quantum symmetries, such as subfactors, and fusion bi-algebras etc, studied in quantum Fourier analysis. We also obtain Widgerson-Wigderson type uncertainty principles for von Neumann bi-algebras. Moreover, we give a complete answer to a conjecture proposed by A. Wigderson and Y. Wigderson.

math.OA↗