SearcharxivSearch

arXiv subjects

Yu-Han Liu

Publications and source records attributed to Yu-Han Liu.

5 recordsLinked to original sources

Rate Distortion For Model Compression: From Theory To Practice

The enormous size of modern deep neural networks makes it challenging to deploy those models in memory and communication limited scenarios. Thus, compressing a trained model without a significant loss in performance has become an increasingly important task. Tremendous advances has been made recently, where the main technical building blocks are parameter pruning, parameter sharing (quantization), and low-rank factorization. In this paper, we propose principled approaches to improve upon the common heuristics used in those building blocks, namely pruning and quantization. We first study the fundamental limit for model compression via the rate distortion theory. We bring the rate distortion function from data compression to model compression to quantify this fundamental limit. We prove a lower bound for the rate distortion function and prove its achievability for linear models. Although this achievable compression scheme is intractable in practice, this analysis motivates a novel model compression framework. This framework provides a new objective function in model compression, which can be applied together with other classes of model compressor such as pruning or quantization. Theoretically, we prove that the proposed scheme is optimal for compressing one-hidden-layer ReLU neural networks. Empirically, we show that the proposed scheme improves upon the baseline in the compression-accuracy tradeoff.

cs.IT

Stacks associated to abelian tensor categories

For an abelian tensor category a stack is constructed. As an application we show that our construction can be used to recover a quasi-compact separated scheme from the category of its quasi-coherent sheaves. In another application, we show how the "dual stack" of the classifying stack $BG$ of a finite group $G$ can be obtained by altering the tensor product on the category $\rep{G}$ of $G$-representations. Using glueing techniques we show that the dual pair of a $G$-gerbe, in the sense of [TT10], can be constructed by glueing local dual stacks.

math.AG

Prime spectra of derived quiver representations

We compute Balmer's prime spectrum for the derived category of quiver representations for a finite ordered quiver and show that it does not recover the quiver. We then associate an algebra to every k-linear triangulated tensor category and show that the path algebra can be recovered this way.

math.AG

Derived equivalence and birationality

A different proof to a known criterion of derived equivalence implying birationality is given. Derived equivalent smooth projective curves over an algebraically closed field are proved to be isomorphic. A different proof of derived equivalence implying birationality for varieties of general type (originally due to Kawamata) is given.

math.AG

Functors on triangulated tensor categories

We define and study the functorial spectrum for every triangulated tensor category. A reconstruction result for topologically noetherian schemes similar to (and based on) a theorem by Balmer is proved. An alternative proof of the reconstruction theorem by Bondal-Orlov for smooth projective varieties with ample (anti-)canonical bundles is given.

math.AG