SearcharxivSearch

arXiv subjects

Haicheng Zhang

Publications and source records attributed to Haicheng Zhang.

At least 19 recordsLinked to original sources

Silting subcategories and (co)torsion pairs associated to extended hearts

We establish the poset isomorphisms between $(d+1)$-term silting subcategories, functorially finite $s$-torsion pairs in the $d$-extended heart, and hereditary complete cotorsion pairs in a suitable subcategory. As an application, we also give dg algebra versions of these bijections, which establish the poset isomorphisms between $\tau$-tilting pairs, $(d+1)$-term silting complexes, and functorially finite $s$-torsion pairs.

math.RT

SFMP: Fine-Grained, Hardware-Friendly and Search-Free Mixed-Precision Quantization for Large Language Models

Mixed-precision quantization is a promising approach for compressing large language models under tight memory budgets. However, existing mixed-precision methods typically suffer from one of two limitations: they either rely on expensive discrete optimization to determine precision allocation, or introduce hardware inefficiencies due to irregular memory layouts. We propose SFMP, a search-free and hardware-friendly mixed-precision quantization framework for large language models. The framework is built upon four novel ideas: Fractional bit-width, which extends integer bit-width for weight matrix to fractional value and transforms discrete precision allocation as a continuous problem; 2)Block-wise mixed-precision, enabling fine-grained precision within weight matrices while remaining hardware-friendly; 3)Row-column weight reordering, which aggregates salient weights via row and column reordering, incurring only a small activation reordering overhead during inference; 4)Unified GEMM kernel, which supports mixed-precision GEMM at arbitrary average bit-width. Extensive experiments demonstrate that SFMP outperforms state-of-the-art layer-wise mixed-precision methods under the same memory constraints, while significantly reducing quantization cost and improving inference efficiency. Code is available at https://github.com/Nkniexin/SFMP

cs.LG

From quantum groups to quantum cluster algebras

We provide a homomorphism of algebras from the quantum group $\mathbf{U}^+_v(\mathfrak{g})$ to the corresponding quantum cluster algebra $\mathcal {A}_q$ with principal coefficients. As a by-product, we show that the quantum cluster variables arising from one-step mutations from the initial cluster variables satisfy the (high order) quantum Serre relations in $\mathcal {A}_q$.

math.QA

ELUTQ: Optimizing Quantization Accuracy under LUT-Based Computation for Edge LLMs

Weight quantization effectively reduces memory consumption and enable the deployment of Large Language Models on edge devices, yet existing hardware-friendly methods often rely on uniform quantization, which suffers from poor weight-distribution fitting and high dequantization overhead under low-bit settings. In this paper, we propose ELUTQ, an efficient quantization framework featuring a novel quantization format termed Hierarchical Linear Quantization (HLQ). HLQ is designed to better capture the statistical characteristics of weights and eliminate dequantization overhead using Bit-serial LUT-based GEMM operations. HLQ significantly improves model accuracy under low-bit settings and achieves performance comparable to QAT methods without any retraining of the weights. Moreover, an optimized quantization pipeline is integrated into ELUTQ, enabling it to complete the quantization of LLaMA 3.1-70B using only 64 GB of CPU memory and 48 GB of VRAM, reducing the hardware requirements for large-scale model quantization. To enable efficient deployment on edge devices, ELUTQ designs high-performance kernels to support end-to-end inference. Our 2-bit LLaMA3.1-8B achieves 1.5x speedup over AWQ on RTX 3090. Code is available at https://github.com/Nkniexin/ELUTQ.

cs.LG

Extriangulated factorization systems, $s$-torsion pairs and recollements

We introduce extriangulated factorization systems in extriangulated categories and show that there exists a bijection between $s$-torsion pairs and extriangulated factorization systems. We also consider the gluing of $s$-torsion pairs and extriangulated factorization systems under recollements of extriangulated categories.

math.CT

Extriangulated length categories: torsion classes and $τ$-tilting theory

This paper introduces the notion of extriangulated length categories, whose prototypical examples include abelian length categories and bounded derived categories of finite dimensional algebras with finite global dimension. We prove that an extriangulated category $\mathcal{A}$ is a length category if and only if $\mathcal{A}$ admits a simple-minded system. Subsequently, we study the partially ordered set ${\rm tor}_Θ(\mathcal{A})$ of torsion classes in an extriangulated length category $(\mathcal{A},Θ)$ from the perspective of lattice theory. It is shown that ${\rm tor}_Θ(\mathcal{A})$ forms a complete lattice, which is further proved to be completely semidistributive and algebraic. Moreover, we describe the arrows in the Hasse quiver of ${\rm tor}_Θ(\mathcal{A})$ using brick labeling. Finally, we introduce the concepts of support torsion classes and support $τ$-tilting subcategories in extriangulated length categories and establish a bijection between these two notions, thereby generalizing the Adachi-Iyama-Reiten bijection for functorially finite torsion classes.

math.RT

A similarity canonical form for max-plus matrices and its eigenproblem

We provide a necessary and sufficient condition for matrices in the max-plus algebra to be pseudo-diagonalizable, calculate the powers of pseudo-diagonal matrices and prove the invariance of optimal-node matrices and separable matrices under similarity. As an application, we determine the eigenvalues and eigenspaces of pseudo-diagonalizable matrices.

math.RA

Analogue of Feigin's map on $\imath$quantum group of split type

The (universal) $\imath$quantum groups are as a vast generalization of (Drinfeld double) quantum groups. We establish an algebra homomorphism from universal $\imath$quantum group of split type to a certain quantum torus, which can be viewed as an $\imath$analogue of Feigin's map on the quantum group.

math.QA

A Note on Odd Periodic derived Hall algebras

Let $m$ be an odd positive integer and $D_m(\mathcal {A})$ be the $m$-periodic derived category of a finitary hereditary abelian category $\mathcal {A}$. In this note, we prove that there is an embedding of algebras from the derived Hall algebra of $D_m(\mathcal {A})$ defined by Xu-Chen [13] to the extended derived Hall algebra of $D_m(\mathcal {A})$ defined in [16]. This homomorphism is given on basis elements, rather than just on generating elements.

math.RT

Hall algebras associated to root categories

Let $\mathcal {A}$ be a finitary hereditary abelian category. We define a Hall algebra for the root category of $\mathcal {A}$ by applying the derived Hall numbers of the bounded derived category $D^b(\mathcal {A})$, which is proved to be isomorphic to the Drinfeld double Hall algebra of $\mathcal {A}$. In the appendix, we also define the 1-periodic derived Hall algebra via the derived Hall numbers of $D^b(\mathcal {A})$.

math.RT

Cluster characters for 2-Calabi-Yau Frobenius extriangulated categories

We define the cluster characters for 2-Calabi-Yau Frobenius extriangulated categories with cluster tilting objects. This provides a unified framework of cluster characters in 2-Calabi-Yau triangulated categories and 2-Calabi-Yau Frobenius exact categories given by Palu and Fu-Keller, respectively

math.RT

Periodic derived Hall algebras of hereditary abelian categories

Let $m$ be a positive integer and $D_m(\mathcal {A})$ be the $m$-periodic derived category of a finitary hereditary abelian category $\mathcal {A}$. Applying the derived Hall numbers of the bounded derived category $D^b(\mathcal {A})$, we define an $m$-periodic extended derived Hall algebra for $D_m(\mathcal {A})$, and use it to give a global, unified and explicit characterization for the algebra structure of Bridgeland's Hall algebra of periodic complexes. Moreover, we also provide an explicit characterization for the odd periodic derived Hall algebra of $\mathcal {A}$ defined by Xu-Chen [22].

math.RT

Quantum cluster characters of Hall algebras revisited

Let $Q$ be a finite acyclic valued quiver. We define a bialgebra structure and an integration map on the Hall algebra associated to the morphism category of projective representations of $Q$. As an application, we recover the surjective homomorphism defined in \cite{DXZ}, which realizes the principal coefficient quantum cluster algebra $\A_q(Q)$ as a sub-quotient of the Hall algebra of morphisms. Moreover, we also recover the quantum Caldero--Chapoton formula, as well as some multiplication formulas between quantum Caldero--Chapoton characters.

math.RT

Semibricks, torsion-free classes and the Jordan-Hölder property

Let $\mathscr{C}$ be an extriangulated category and $\mathcal{X}$ be a semibrick in $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We introduce the weak Jordan-Hölder property (WJHP) and Jordan-Hölder property (JHP) in $\mathscr{C}$ and show that $\mathcal{T}$ satisfies (WJHP). Furthermore, $\mathcal{T}$ satisfies (JHP) if and only if $\mathcal{X}$ is proper. Using reflection functors and $c$-sortable elements, we give a combinatorial criterion for the torsion-free class satisfying (JHP) in the representation category of a quiver of type $A$.

math.RT

The cluster multiplication theorem for acyclic quantum cluster algebras

Let $Q$ be a finite acyclic valued quiver. We give the cluster multiplication formulas in the quantum cluster algebra of $Q$ with arbitrary coefficients, by applying certain quotients of derived Hall subalgebras of $Q$. These formulas can be viewed as the quantum version of the cluster multiplication theorem in the classical cluster algebra proved by Caldero-Keller for finite type, Hubery for affine type and Xiao-Xu for acyclic quivers.

math.RT

Hall algebras of extriangulated categories

Recently, Nakaoka and Palu introduced a notion of extriangulated categories. This is a unification of exact categories and triangulated categories. In this paper, we generalize the definitions of Hall algebras of exact categories and triangulated categories to extriangulated categories.

math.RT

Recollements of extriangulated categories

We give a simultaneous generalization of recollements of abelian categories and triangulated categories, which we call recollements of extriangulated categories. For a recollement $(\mathcal{A}$, $\mathcal{B}$, $\mathcal{C})$ of extriangulated categories, we show that cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$ induce cotorsion pairs in $\mathcal{B}$ under certain conditions. As an application, our main result recovers a result given by Chen for recollements of triangulated categories, and it also shows a new phenomena when it is applied to abelian categories.

math.RT