arXiv subjects

Huanhuan Li

Publications and source records attributed to Huanhuan Li.

At least 19 recordsLinked to original sources

arXiv2026

Some more talents of the talented monoid of a higher-rank graph

In this paper, we explore the idea that the graded Grothendieck group $K_0^{gr}$, or equivalently its positive cone, the talented monoid, can detect the structural type of higher-rank graph algebras (i.e., higher-rank graph $C^*$-algebras and Kumjian--Pask algebras). We show that the talented monoid captures some of the essential geometric information of a higher-rank graph, including the existence of cycles with and without entrances. In turn, we show that the graded $K$-theory can effectively distinguish the class of locally finite Kumjian--Pask algebras, and also the class of crossed product Kumjian--Pask algebras. We also derive talented monoid criteria for higher-rank graph algebras to be purely infinite simple, and not to be $AF$ or ultramatricial.

math.RA↗

arXiv2024

Graded isomorphisms of Leavitt path algebras and Leavitt inverse semigroups

Leavitt inverse semigroups of directed finite graphs are related to Leavitt graph algebras of (directed) graphs. Leavitt path algebras of graphs have the natural $\mathbb Z$-grading via the length of paths in graphs. We consider the $\mathbb Z$-grading on Leavitt inverse semigroups. For connected finite graphs having vertices out-degree at most $1$, we give a combinatorial sufficient and necessary condition on graphs to classify the corresponding Leavitt path algebras and Leavitt inverse semigroups up to graded isomorphisms. More precisely, the combinatorial condition on two graphs coincides if and only if the Leavitt path algebras of the two graphs are $\mathbb Z$-graded isomorphic if and only if the Leavitt inverse semigroups of the two graphs are $\mathbb Z$-graded isomorphic.

math.RA↗

arXiv2024

BioDeepHash: Mapping Biometrics into a Stable Code

With the wide application of biometrics, more and more attention has been paid to the security of biometric templates. However most of existing biometric template protection (BTP) methods have some security problems, e.g. the problem that protected templates leak part of the original biometric data (exists in Cancelable Biometrics (CB)), the use of error-correcting codes (ECC) leads to decodable attack, statistical attack (exists in Biometric Cryptosystems (BCS)), the inability to achieve revocability (exists in methods using Neural Network (NN) to learn pre-defined templates), the inability to use cryptographic hash to guarantee strong security (exists in CB and methods using NN to learn latent templates). In this paper, we propose a framework called BioDeepHash based on deep hashing and cryptographic hashing to address the above four problems, where different biometric data of the same user are mapped to a stable code using deep hashing instead of predefined binary codes thus avoiding the use of ECC. An application-specific binary string is employed to achieve revocability. Then cryptographic hashing is used to get the final protected template to ensure strong security. Ultimately our framework achieves not storing any data that would leak part of the original biometric data. We also conduct extensive experiments on facial and iris datasets. Our method achieves an improvement of 10.12$\%$ on the average Genuine Acceptance Rate (GAR) for iris data and 3.12$\%$ for facial data compared to existing methods. In addition, BioDeepHash achieves extremely low False Acceptance Rate (FAR), i.e. 0$\%$ FAR on the iris dataset and the highest FAR on the facial dataset is only 0.0002$\%$.

cs.CR↗

arXiv2024

Bergman algebras: The graded universal algebra constructions

A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded $K$-theory in classification of algebras and its connections to dynamics and operator algebras, the realisation of $Γ$-monoids (monoids with an action of an abelian group $Γ$ on them) as non-stable graded $K$-theory of graded rings becomes vital. In this paper, we revisit Bergman's work and develop the graded version of this universal construction. For an abelian group $Γ$, a $Γ$-graded ring $R$, and non-zero graded finitely generated projective (left) $R$-modules $P$ and $Q$, we construct a universal $Γ$-graded ring extension $S$ such that $S\otimes_R P\cong S\otimes_R Q$ as graded $S$-modules. This makes it possible to bring the graded techniques, such as smash products and Zhang twists into Bergman's machinery. Given a commutative conical $Γ$-monoid $M$, we construct a $Γ$-graded ring $S$ such that $\mathcal V^{gr}(S)$ is $Γ$-isomorphic to $M$. In fact we show that any finitely generated $Γ$-monoid can be realised as the non-stable graded $K$-theory of a hyper Leavitt path algebra. Here $\mathcal V^{gr}(S)$ is the monoid of isomorphism classes of graded finitely generated projective $S$-modules and the action of $Γ$ on $\mathcal V^{gr}(S)$ is by shift of degrees. Thus the group completion of $M$ can be realised as the graded Grothendieck group $K^{\gr}_0(S)$. We use this machinery to provide a short proof to the fullness of the graded Grothendieck functor $K^{gr}_0$ for the class of Leavitt path algebras (i.e., Graded Classification Conjecture II).

math.RA↗

arXiv2023

PlantDet: A benchmark for Plant Detection in the Three-Rivers-Source Region

The Three-River-Source region is a highly significant natural reserve in China that harbors a plethora of botanical resources. To meet the practical requirements of botanical research and intelligent plant management, we construct a dataset for Plant detection in the Three-River-Source region (PTRS). It comprises 21 types, 6965 high-resolution images of 2160*3840 pixels, captured by diverse sensors and platforms, and featuring objects of varying shapes and sizes. The PTRS presents us with challenges such as dense occlusion, varying leaf resolutions, and high feature similarity among plants, prompting us to develop a novel object detection network named PlantDet. This network employs a window-based efficient self-attention module (ST block) to generate robust feature representation at multiple scales, improving the detection efficiency for small and densely-occluded objects. Our experimental results validate the efficacy of our proposed plant detection benchmark, with a precision of 88.1%, a mean average precision (mAP) of 77.6%, and a higher recall compared to the baseline. Additionally, our method effectively overcomes the issue of missing small objects.

cs.CV↗

arXiv2022

The singularity category of an exact category applied to characterize Gorenstein schemes

We study singularity categories of exact categories with a focus on those associated to a complete hereditary cotorsion pair. As an application we identify a non-affine analogue of the singularity category of a Gorenstein local ring; with this Buchweitz's classic equivalence of three categories over Gorenstein local rings has been generalized to schemes, a project started by Murfet and Salarian more than ten years ago. As another application we use the framework to characterize rings of finite finitistic dimension.

math.KT↗

arXiv2022

How to construct Gorenstein projective modules relative to complete duality pairs over Morita rings

Let $Δ=\left(\begin{smallmatrix} A & {_AN_B}\\ {_BM_A} & B \\\end{smallmatrix}\right)$ be a Morita ring with $M\otimes_{A}N=0=N\otimes_{B}M$.We first study how to construct (complete) duality pairs of $Δ$-modules using (complete) duality pairs of $A$-modules and $B$-modules, generalizing the result of Mao (Comm. Algebra, 2020, 12: 5296--5310) about the duality pairs over a triangular matrix ring. Moreover, we construct Gorenstein projective modules relative to complete duality pairs of $Δ$-modules. Finally, we give an application to Ding projective modules.

math.RA↗

arXiv2021

Leavitt path algebras, $B_\infty$-algebras and Keller's conjecture for singular Hochschild cohomology

For a finite quiver without sinks, we establish an isomorphism in the homotopy category $\mathrm {Ho}(B_\infty)$ of $B_{\infty}$-algebras between the Hochschild cochain complex of the Leavitt path algebra $L$ and the singular Hochschild cochain complex of the corresponding radical square zero algebra $Λ$. Combining this isomorphism with a description of the dg singularity category of $Λ$ in terms of the dg perfect derived category of $L$, we verify Keller's conjecture for the singular Hochschild cohomology of $Λ$. More precisely, we prove that there is an isomorphism in $\mathrm{Ho}(B_\infty)$ between the singular Hochschild cochain complex of $Λ$ and the Hochschild cochain complex of the dg singularity category of $Λ$. One ingredient of the proof is the following duality theorem on $B_\infty$-algebras: for any $B_\infty$-algebra, there is a natural $B_\infty$-isomorphism between its opposite $B_\infty$-algebra and its transpose $B_\infty$-algebra. We prove that Keller's conjecture is invariant under one-point (co)extensions and singular equivalences with levels. Consequently, Keller's conjecture holds for those algebras obtained inductively from $Λ$ by one-point (co)extensions and singular equivalences with levels. These algebras include all finite dimensional gentle algebras.

math.RT↗

arXiv2020

Frobenius functors and Gorenstein projective precovers

We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown that if $F:\C\rightarrow\D$ is a separable Frobenius functor between abelian categories with enough projective objects, then every object in $\C$ has a Gorenstein projective precover provided that every object in $\D$ has a Gorenstein projective precover. This result is applied to separable Frobenius extensions and excellent extensions.

math.RA↗

arXiv2020

2-recollements of singualrity categories and Gorenstein defect categories over triangular matrix algebras

Let $T=(A,M,0,B)$ be a triangular matrix algebra with its corner algebras $A$ and $B$ Artinian and $_AM_B$ an $A$-$B$-bimodule. The 2-recollement structures for singularity categories and Gorenstein defect categories over $T$ are studied. Under mild assumptions, we provide necessary and sufficient conditions for the existences of 2-recollements of singularity categories and Gorenstein defect categories over $T$ relative to those of $A$ and $B$. Parts of our results strengthen and unify the corresponding work in [27,28,34].

math.RT↗

arXiv2020

Tate-Vogel and relative cohomologies of complexes with respect to cotorsion pairs

We study Tate-Vogel and relative cohomologies of complexes by applying the model structure induced by a complete hereditary cotorsion pair ($\A$, $\B$) of modules. We show first that the class of complexes admitting a complete $\A$ resolution is exactly the class of complexes with finite Gorenstein $\A$ dimension. This lets us give general techniques for computing Tate-Vogel cohomoloies of complexes with finite Gorenstein $\A$ dimension. As a consequence, relative cohomology groups for complexes with finite Gorenstein $\A$ dimension are investigated. Finally, the relationships between Gorenstein $\A$ dimensions and $\A$ dimensions for complexes are given.

math.RA↗

arXiv2020

When the Schur functor induces a triangle-equivalence between Gorenstein defect categories

Let $R$ be an Artin algebra and $e$ an idempotent of $R$. Assume that ${\rm Tor}_i^{eRe}(Re,G)=0$ for any $G\in{\rm GProj} eRe$ and $i$ sufficiently large. Necessary and sufficient conditions are given for the Schur functor $S_e$ to induce a triangle-equivalence $\mathbb{D}_{def}(R)\simeq\mathbb{D}_{def}(eRe)$. Combine this with a result of Psaroudakis-Skartsaterhagen-Solberg [29], we provide necessary and sufficient conditions for the singular equivalence $\mathbb{D}_{sg}(R)\simeq\mathbb{D}_{sg}(eRe)$ to restrict to a triangle-equivalence $\underline{{\rm GProj} R}\simeq\underline{{\rm GProj} eRe}$. Applying these to the triangular matrix algebra $T=\left( \begin{array}{cc} A & M \quad 0 & B \end{array} \right)$, corresponding results between candidate categories of $T$ and $A$ (resp. $B$) are obtained. As a consequence, we infer Gorensteinness and CM-freeness of $T$ from those of $A$ (resp. $B$). Some concrete examples are given to indicate one can realise the Gorenstein defect category of a triangular matrix algebra as the singularity category of one of its corner algabras.

math.RA↗

arXiv2020

Gorenstein projective modules and recollements over triangular matrix rings

Let $T=\left( \begin{array}{cc} R & M 0 & S \end{array} \right) $ be a triangular matrix ring with $R$ and $S$ rings and $_RM_S$ an $R$-$S$-bimodule. We describe Gorenstein projective modules over $T$. In particular, we refine a result of Enochs, Cortés-Izurdiaga and Torrecillas [Gorenstein conditions over triangular matrix rings, J. Pure Appl. Algebra 218 (2014), no. 8, 1544-1554]. Also, we consider when the recollement of $\mathbb{D}^b(T{\text-} Mod)$ restricts to a recollement of its subcategory $\mathbb{D}^b(T{\text-} Mod)_{fgp}$ consisting of complexes with finite Gorenstein projective dimension. As applications, we obtain recollements of the stable category $\underline{T{\text-} GProj}$ and recollements of the Gorenstein defect category $\mathbb{D}_{def}(T{\text-} Mod)$.

math.RA↗

arXiv2020

Graded $K$-Theory, Filtered $K$-theory and the classification of graph algebras

We prove that an isomorphism of graded Grothendieck groups $K^{gr}_0$ of two Leavitt path algebras induces an isomorphism of a certain quotient of algebraic filtered $K$-theory and consequently an isomorphism of filtered $K$-theory of their associated graph $C^*$-algebras. As an application, we show that, since for a finite graph $E$ with no sinks, $K^{gr}_0\big(L(E)\big)$ of the Leavitt path algebra $L(E)$ coincides with Krieger's dimension group of its adjacency matrix $A_E$, our result relates the shift equivalence of graphs to the filtered $K$-theory and consequently gives that two arbitrary shift equivalent matrices give stably isomorphic graph $C^*$-algebras. This result was only known for irreducible graphs.

math.RA↗

arXiv2020

A note on the core of Steinberg algebras

For an ample Hausdorff groupoid $G$, and the Steinberg algebra $A_R(G)$ with coefficients in the commutative ring $R$ with unit, we describe the centraliser of subalgebra $A_R(U)$ with $U$ an open closed invariant subset of unit space of $G$. In particular, we obtain that the algebra of the interior of the isotropy is indeed the centraliser of the diagonal subalgebra of Steinberg algebra. This will unify several results in the literature and the corresponding results for Leavitt path algebras follow.

math.RA↗

arXiv2019

The talented monoid of a Leavitt path algebra

There is a tight relation between the geometry of a directed graph and the algebraic structure of a Leavitt path algebra associated to it. In this note, we show a similar connection between the geometry of the graph and the structure of a certain monoid associated to it. This monoid is isomorphic to the positive cone of the graded K0-group of the Leavitt path algebra which is naturally equipped with a Z-action. As an example, we show that a graph has a cycle without an exit if and only if the monoid has a periodic element. Consequently a graph has Condition (L) if and only if the group Z acts freely on the monoid. We go on to show that the algebraic structure of Leavitt path algebras (such as simplicity, purely infinite simplicity, or the lattice of ideals) can be described completely via this monoid. Therefore an isomorphism between the monoids (or graded K0's) of two Leavitt path algebras implies that the algebras have similar algebraic structures. These all confirm that the graded Grothendieck group could be a sought-after complete invariant for the classification of Leavitt path algebras.

math.RA↗

arXiv2019

Homology of étale groupoids, a graded approach

We introduce a graded homology theory for graded étale groupoids. For $\mathbb Z$-graded groupoids, we establish an exact sequence relating the graded zeroth-homology to non-graded one. Specialising to the arbitrary graph groupoids, we prove that the graded zeroth homology group with constant coefficients $\mathbb Z$ is isomorphic to the graded Grothendieck group of the associated Leavitt path algebra. To do this, we consider the diagonal algebra of the Leavitt path algebra of the covering graph of the original graph and construct the group isomorphism directly. Considering the trivial grading, our result extends Matui's on zeroth homology of finite graphs with no sinks (shifts of finite type) to all arbitrary graphs. We use our results to show that graded zeroth-homology group is a complete invariant for eventual conjugacy of shift of finite types and could be the unifying invariant for the analytic and the algebraic graph algebras.

math.KT↗

arXiv2018

The injective and projective Leavitt complexes

For a certain finite graph E, we consider the corresponding finite dimensional algebra A with radical square zero. An explicit compact generator for the homotopy category of acyclic complexes of injective (resp. projective) modules over A, called the injective (resp. projective) Leavitt complex of E, was constructed in [18] (resp. [19]). We overview the connection between the injective (resp. projective) Leavitt complex and the Leavitt path algebra of E. A differential graded bimodule structure, which is right quasi-balanced, is endowed to the injective (resp. projective) Leavitt complex in [18] (resp. [19]). We prove that the injective (resp. projective) Leavitt complex is not left quasi-balanced.

math.RT↗