---
title: Categorical Entropy in Triangulated Categories
url: https://www.emergentmind.com/topics/categorical-entropy
type: topic
---

# Categorical Entropy in Triangulated Categories

Categorical entropy is a family of invariants that quantify complexity in categorical settings. In the current literature on triangulated and derived categories, the term most commonly denotes the Dimitrov–Haiden–Katzarkov–Kontsevich growth invariant of an exact endofunctor on a triangulated category with a split-generator, measuring the asymptotic growth of the complexity of iterated images of generators. In this form it has been related to mass growth under Bridgeland stability conditions, spectral radii on Grothendieck or cohomological invariants, topological entropy, and symbolic or graph-theoretic entropy. The same phrase also appears in other categorical frameworks, including entropy functions on abelian categories, functorial relative entropy on standard Borel spaces, and Shannon-type entropy on finite categories [1602.03463] [1612.00995] [1006.5122] [1703.08853] [2303.00879].

## 1. DHKK entropy on triangulated categories

Let \(\mathcal T\) be a triangulated category with a split-generator \(G\), and let \(\Phi:\mathcal T\to\mathcal T\) be an exact endofunctor. The DHKK complexity \(\delta_t(E,F)\) is defined by taking an infimum over towers of distinguished triangles expressing \(F\) from shifts \(E[n_i]\), with weighted cost \(\sum_i e^{n_i t}\). The categorical entropy is then
\[
h_t(\Phi)=\lim_{n\to\infty}\frac{1}{n}\log \delta_t(G,\Phi^n(G)).
\]
The limit exists and is independent of the chosen split-generator. The value at \(t=0\),
\[
h_0(\Phi),
\]
is the usual categorical entropy [2103.03946].

In \(\Ext\)-finite triangulated categories, this invariant admits a more concrete expression. If
\[
\delta'(E,F)=\sum_{k\in\mathbb Z}\ext^k(E,F)e^{-kt},
\]
then
\[
h_t(\Phi)=\lim_{n\to\infty}\frac{1}{n}\log \delta'\!\bigl(G,\Phi^n(G')\bigr),
\]
for split-generators \(G,G'\). This reformulation turns entropy into an asymptotic growth rate of total weighted \(\Ext\)-dimensions and is the basis of many explicit computations [2601.13526].

Several formal properties recur across the literature. The complexity function is submultiplicative, exact functors do not increase complexity, and entropy is invariant under the choice of split-generator. In saturated settings there are also opposite-category and inverse-functor symmetries, such as
\[
h_t(\Phi^{\mathrm{op}})=h_t(\Phi),
\qquad
h_t(\Phi^{-1})=h_{-t}(\Phi)
\]
under the stated hypotheses [2012.13510] [2203.05162].

## 2. Computational formalisms and structural avatars

One important computational avatar is mass growth. For a Bridgeland stability condition \(\sigma=(Z,P)\), the mass of an object \(E\) with parameter \(t\) is
\[
m_{\sigma,t}(E)=\sum_{i=1}^m |Z(A_i)|\,e^{\phi_i t},
\]
where \(A_i\) are the Harder–Narasimhan factors of \(E\). The associated mass growth rate
\[
h_{\sigma,t}(F):=\sup_{E\in D}\left\{\limsup_{n\to\infty}\frac{1}{n}\log m_{\sigma,t}(F^nE)\right\}
\]
satisfies
\[
h_{\sigma,t}(F)\le h_t(F).
\]
If the relevant connected component of \(Stab(D)\) contains an algebraic stability condition, then
\[
h_{\sigma,t}(F)=h_t(F),
\]
so categorical entropy can be computed directly from mass growth [1612.00995].

A second formalism uses bounded \(t\)-structures and bounded co-\(t\)-structures with finite hearts or finite co-hearts. For a bounded \(t\)-structure \(\mathfrak a\), the invariant \(h_{\mathfrak a,t}(\Phi)\) defined from the unique \(t\)-filtration of objects satisfies
\[
h_{\mathfrak a,t}(\Phi)=h_t(\Phi).
\]
Dually, for a bounded co-\(t\)-structure \(\mathfrak b\), one has
\[
h_{\mathfrak b,t}(\Phi)=h_t(\Phi).
\]
In ST-triples, this produces a duality phenomenon: if \(\Phi\) is an autoequivalence preserving the two sides of the triple, then the entropies on the \(t\)-side and the co-\(t\)-side coincide [2203.05162].

Further calculational tools come from functorial constructions. For a spherical functor \(S:\mathcal C\to\mathcal D\) with twist \(T_S\) and cotwist \(C_S\), if the essential image of the right adjoint contains a split-generator of \(\mathcal C\), then
\[
h_0(T_S)=h_0(C_S[2]).
\]
This mechanism generalizes computations for spherical twists and \(\mathbb P\)-twists [2102.08590].

Entropy also behaves well under categorical localization. If \(D\subset C\) is a full pretriangulated subcategory preserved by \(\Phi_C\), and \(\Phi_D\) and \(\Phi_{C/D}\) are the induced functors on the subcategory and the quotient, then
\[
h_t(\Phi_{C/D}) \le h_t(\Phi_C)\le \max\{h_t(\Phi_{C/D}),h_t(\Phi_D)\}.
\]
For admissible subcategories this becomes a max-formula. This suggests a close formal analogy with the behavior of topological entropy under factor maps and invariant pieces [2203.12205].

## 3. Spectral radius, Gromov–Yomdin type formulas, and algebraic growth

A recurrent problem is whether categorical entropy is governed by the spectral radius of the induced action on Hochschild homology, cohomology, or the numerical Grothendieck group. A categorical Gromov–Yomdin type conjecture asks for formulas of the form
\[
h(F)=\log p(HH_\bullet(F))
\]
for Fourier–Mukai endofunctors with invertible Hochschild action, and
\[
h(F)=\log p([F])
\]
for projective autoequivalences, where \([F]\) denotes the induced endomorphism on the numerical Grothendieck group [1602.03463].

In geometric dynamics this principle is realized for pullback functors. If \(f:X\to X\) is a surjective endomorphism of a smooth projective variety, then the categorical entropy of the derived pullback satisfies
\[
h_{\mathrm{cat}}(f)=h_{\mathrm{top}}(f)=\log p([Lf^*])=\log \max_q d_q(f),
\]
where \(d_q(f)\) are the dynamical degrees. Thus the derived pullback reproduces classical topological entropy exactly [1602.03463].

Several noncommutative and representation-theoretic settings exhibit analogous formulas. For a finitely presented monomial algebra \(A\), the bounded derived category \(\mathbf D^b(\mathsf{qgr}(A))\) carries the Serre twist \(\mathsf S\), and
\[
\mathsf h_t\big(\mathbf D^b(\mathsf{qgr}(A)),\mathsf S\big)=\log \mathsf h_{alg}(A).
\]
This entropy matches the topological entropy of the associated subshift, the entropy of the language of legal words, the entropy of the Ufnarovski graph, and the growth rate of the graph path algebra. In the quiver case \(A=k\Gamma\),
\[
\mathsf h_t\big(\mathbf D^b(\mathsf{qgr}(k\Gamma)),\mathsf S\big)=\log \rho(\Gamma),
\]
with \(\rho(\Gamma)\) the spectral radius of the adjacency matrix [2103.03946].

For generic abelian surfaces, the entropy of Fourier–Mukai autoequivalences is explicitly computable from the induced matrix on the algebraic Mukai lattice. In the class treated there, one has
\[
h_0(F)=\log \rho(F),
\]
and more generally an upper bound \(h_t(F)\le \log \rho(F)\) for composites of Fourier–Mukai equivalences, pullbacks \(f^*\), and pushforwards \(f_*\) for finite morphisms. Combined with known lower bounds, this yields equality at \(t=0\) [1701.04009].

The lower-bound side is quite general. In the presence of stability conditions one has
\[
\log \rho([F]) \le h_{\sigma,0}(F)\le h_0(F),
\]
so the numerical spectral radius gives a categorical Yomdin-type lower bound even when equality fails [1612.00995].

## 4. Explicit computations and counterexamples

A large body of work consists of exact entropy computations for specific functors. In commutative algebra, for a \(d\)-dimensional \(F\)-finite noetherian local ring of characteristic \(p>0\), the Frobenius pushforward functor
\[
F_*:D^b(R)\to D^b(R)
\]
has entropy
\[
h_t(F_*)=d\log p+\log [k:k^p].
\]
The formula splits into a dimension term and a residue-field term, and it completely determines the categorical entropy of Frobenius pushforward in this setting [2207.13774].

For spherical functors one recovers familiar formulas. If \(E\) is a \(d\)-spherical object, then the entropy of the associated spherical twist satisfies
\[
h_t(T_E)=
\begin{cases}
0 & (t\ge 0),\\
(1-d)t & (t\le 0).
\end{cases}
\]
The same framework also recovers the entropy behavior of \(\mathbb P\)-twists [2102.08590].

Counterexamples to naive Gromov–Yomdin expectations are equally prominent. On any smooth projective surface containing a \((-2)\)-curve \(C\), the autoequivalence
\[
\Phi=T_{\mathcal O_C}\circ(-\otimes L),
\qquad \deg_C(L|_C)<0,
\]
has
\[
h_0(\Phi)>0=\log \rho(\Phi^H),
\]
so positive categorical entropy can coexist with trivial cohomological spectral radius [1909.02758].

More recent work shows that such failures are widespread. If a smooth projective surface \(S\) fails the Gromov–Yomdin property, then \(\mathrm{Hilb}^n(S)\) also fails it for every \(n\ge 1\), and no hyperkähler or Enriques manifold satisfies the Gromov–Yomdin property because one can construct an explicit autoequivalence with positive categorical entropy and unipotent action on cohomology. In particular, for a projective hyperkähler manifold the autoequivalence
\[
\Phi=P\circ(-\otimes O(-H))
\]
has
\[
h(\Phi)>0=\log\rho(\#1{\Phi}),
\]
since the \(P^n\)-twist acts trivially on cohomology and tensoring by \(O(-H)\) acts unipotently [2601.13526].

Surface geometry also exhibits both rigidity and failure. For every autoequivalence of a bielliptic surface \(S\),
\[
h(\Phi)=\log\rho(\#1{\Phi}),
\]
and for types \(3,4,5,6,7\) there are explicit autoequivalences with positive categorical entropy even though bielliptic surfaces have no automorphism of positive topological entropy and no spherical objects in \(D^b(S)\). By contrast, the same paper constructs an Enriques-surface example with
\[
h(\Phi_S)>\log\rho(\#1{\Phi_S}),
\]
showing that the equality does not persist across all Kodaira-dimension-zero surfaces [2507.03890].

## 5. Refinements, dg invariants, and symplectic/topological comparisons

Categorical entropy admits secondary refinements. Categorical polynomial entropy is defined by
\[
h_t^{\mathrm{pol}}(F)\coloneqq \limsup_{n\to\infty} \frac{\log \delta_t(G,F^n(G)) - n\,h_t(F)}{\log n},
\]
and measures polynomial-order growth after the exponential rate has been removed. It satisfies a Yomdin-type lower bound in terms of the induced endomorphism on the numerical Grothendieck group, and for a surjective endomorphism \(f:X\to X\) one has
\[
h^{\mathrm{pol}}(\mathbb Lf^*) = s(f^*_{N^*}),
\]
or \(s(f^*)\) in the complex case. This produces a categorical trichotomy into elliptic, parabolic, and loxodromic behavior [2003.14224].

A related dg-theoretic invariant is Hochschild entropy. For a quasi-endofunctor \(\Phi\) of a smooth proper dg category, the Hochschild cohomological and homological entropies are defined from the asymptotic growth of \(\dim_k HH^*(\Phi^n)\) and \(\dim_k HH_*(\Phi^n)\), and both satisfy
\[
h_{HH^*}(\Phi)\le h_{\mathrm{cat}}(H^0(\Phi)),
\qquad
h_{HH_*}(\Phi)\le h_{\mathrm{cat}}(H^0(\Phi)).
\]
This places categorical entropy above a purely Hochschild-theoretic growth invariant and supplies another obstruction to Gromov–Yomdin type formulas [2012.13510].

In symplectic topology, compactly supported exact symplectic automorphisms induce autoequivalences of Fukaya categories. For a Weinstein manifold \(W\) and a compactly supported exact symplectic automorphism \(\phi\), the induced autoequivalence \(\Phi\) of the wrapped Fukaya category satisfies
\[
h_{cat}(\Phi)\le h_{top}(\phi).
\]
The proof uses a fully stopped partially wrapped category, a Lefschetz-fibration generator, intersection-count estimates via a Lagrangian tomograph and Crofton inequality, and Yomdin’s volume-growth bound. The same work introduces barcode entropy with
\[
h_{cat}(\phi) \le h_{bar}(\phi;L_1,L_2) \le h_{top}(\phi)
\]
for suitable Lagrangian pairs [2208.14597].

A parallel symplectic viewpoint proves localization formulas and Floer-theoretic entropy formulas for compact and wrapped Fukaya categories, especially under a duality condition relating compact generators \(S_i\) and wrapped generators \(L_i\). In plumbing spaces \(P_n(T)\), Penner-type symplectic automorphisms satisfy
\[
h_{cat}(\phi)=\log \operatorname{Rad}(M_\phi),
\]
reducing entropy to the spectral radius of an explicit nonnegative matrix [2203.12205].

A more conjectural extension connects categorical entropy to statistical mechanics. For a saturated \(A_\infty\)-category, the expression for
\[
h_0(F)= \lim_{N\rightarrow\infty}\frac{1}{N}\log\sum_{n\in\mathbb Z}\dim Ext^n(G,F^NG)
\]
is reinterpreted through a one-dimensional lattice model built from a bimodule resolution. Under Condition B, the exponential of the entropy density is an algebraic integer, and the paper states that categorical entropy corresponds to the von Neumann entropy of a gauged lattice model [2505.18751].

## 6. Other categorical meanings of entropy

Outside the DHKK framework, categorical entropy also refers to structurally different notions. In a well-powered cocomplete abelian category \(\mathcal M\), an entropy function is a map
\[
h:\mathcal M\to \mathbb R_+\cup\{0\}
\]
satisfying isomorphism invariance, an exactness criterion for vanishing entropy, and a coproduct criterion for vanishing entropy. The associated Pinsker radical
\[
P_h(M)=\bigvee\{N\le M:h(N)=0\}
\]
is a hereditary radical, and binary entropy functions are in bijective order-preserving correspondence with hereditary torsion theories [1006.5122].

In categorical probability theory, relative entropy is realized as a functor
\[
RE:\mathcal C\to [0,\infty]
\]
on a category of standard Borel probability spaces and coherent measurement-and-hypothesis pairs \((f,s)\). For a coherent morphism,
\[
RE((f,s))=
\begin{cases}
\displaystyle \int_X \log\!\left(\frac{d p}{d(s\,q)}\right)\,dp, & \text{if } p\ll s\,q,\\[1.2em]
\infty, & \text{otherwise,}
\end{cases}
\]
and functoriality gives
\[
RE\bigl((g,t)\circ(f,s)\bigr)=RE((g,t))+RE((f,s)).
\]
The same work proves convex linearity, lower semicontinuity, and uniqueness up to a multiplicative constant [1703.08853].

For finite categories equipped with probabilistic data, one can define
\[
\mathcal H(\mathcal A,p,\phi) := -\sum_{a\in \mathrm{Ob}(\mathcal A)} p(a)\,\ln\!\left(\sum_{b\in \mathrm{Ob}(\mathcal A)} p(b)\phi(a,b)\right).
\]
This recovers Shannon entropy for discrete categories and recovers \(\ln \chi(\mathcal A)\) when \(p\) is the normalized weighting associated to magnitude. The construction is additive under products and satisfies a chain rule for weighted coproducts [2303.00879].

In a distinct statistical usage, entropy over finite categorical state spaces is the objective in maximum-entropy reconstruction of categorical distributions under marginal constraints. For a joint distribution \(p\) on the finite state space \(\mathcal A\),
\[
H[p] = -\sum_{\gamma} p_\gamma \log p_\gamma,
\]
and among all distributions consistent with the prescribed marginals there exists a unique maximizer
\[
p^\star = \arg\max_{p\in[f]} H[p].
\]
Iterative proportional fitting converges to this unique maximum-entropy distribution directly in probability space [2204.03406].

Across these usages, the common theme is that entropy encodes complexity, uncertainty, or information loss through categorical structure. In the DHKK-derived setting, that structure is dynamical and triangulated; in the other settings, it is abelian, probabilistic, combinatorial, or statistical.

Source: https://www.emergentmind.com/topics/categorical-entropy