Fuglede-type Estimates: A Quantitative Overview

• Fuglede-type estimates are a family of quantitative inequalities derived from the Fuglede–Kadison determinant, norm conditions, and perturbation arguments in operator theory.
• They extend classical results by including asymptotic approximation techniques, exact determinant evaluations, and Schatten-norm inequalities to address various nonnormal settings.
• These estimates provide practical tools for analyzing robustness in finite compressions, spectral invariants, and geometric stability in both analytic and combinatorial contexts.

Searching arXiv for the cited papers and closely related work on Fuglede-type estimates. “Fuglede-type estimates” designates a family of quantitative statements rather than a single theorem. In current usage, the phrase covers at least four distinct lineages: approximation and lower-bound results for the Fuglede–Kadison determinant in finite von Neumann algebra settings; exact determinant computations connected with Lehmer’s problem and $L^2$-torsion; norm inequalities of Fuglede–Putnam type for nonnormal operators, often after Aluthge transform; and geometric stability inequalities modeled on Fuglede’s second-order analysis of perturbations of the ball. A separate but related lineage attached to Fuglede’s name concerns the spectral-set/tiling conjecture in finite vector spaces, where the relevant estimates are Fourier-analytic and combinatorial rather than determinant-theoretic (Li, 2010, Aribi, 2022, Mai et al., 2024, Moslehian et al., 2011, Prunier, 2023, Fallon et al., 2019).

1. Terminological scope and basic invariants

The determinant-theoretic core is the Fuglede–Kadison determinant. For a countable discrete group $\Gamma$, with group von Neumann algebra $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$ and tracial state

$$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$

an invertible $f\in \mathcal N\Gamma$ has

$$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$

In a general tracial $W^*$-probability space $(M,\tau)$, the corresponding notation in free-probabilistic contexts is

$\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$

A second invariant appearing in recent work is the capacity of a positive linear map $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$,

$\Gamma$0

which is positive exactly when $\Gamma$1 is rank non-decreasing (Li, 2010, Mai et al., 2024).

In operator theory, the phrase “Fuglede-type” refers instead to extensions or quantitative refinements of the classical Fuglede–Putnam implication. If $\Gamma$2 and $\Gamma$3, then

$\Gamma$4

and $\Gamma$5 has the FP-property when

$\Gamma$6

The relevant transformed object is the Aluthge transform

$\Gamma$7

This is analytically unrelated to the determinant line, although both are described as “Fuglede-type” in the literature (Moslehian et al., 2011).

The geometric literature uses the phrase in yet another sense. For perturbations $\Gamma$8 of the unit-volume ball, one studies lower bounds for energies such as $\Gamma$9 or $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$0, with the inequality structure modeled on second-order isoperimetric expansions. By contrast, the finite-field Fuglede conjecture concerns whether a set is spectral if and only if it tiles by translation; there the basic estimates are Fourier zeros, equidistribution on parallel hyperplanes, and incidence bounds on affine lines and planes (Prunier, 2023, Fallon et al., 2019).

Lineage	Central object	Representative estimate
Fuglede–Kadison approximation	finite compressions $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$1	normalized $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$2 converges to $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$3
Free-group determinant theory	$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$4	exact FK determinants and upper bounds for Lehmer’s constants
Free probability and capacity	$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$5	$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$6
Fuglede–Putnam theory	$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$7, $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$8	Schatten-norm lower bounds for $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$9
Convex-shape stability	$$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$0, $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$1	quadratic control by $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$2
Finite-field Fuglede conjecture	$$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$3	plane/line concentration bounds exclude intermediate spectral sizes

2. Approximation of finite compressions and amenable-group entropy

For countable amenable $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$4, Li proved a finite-compression approximation theorem for $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$5 that is the prototypical determinant-theoretic Fuglede-type estimate (Li, 2010). If $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$6 is a Følner sequence, $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$7 is the orthogonal projection, and

$$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$8

then $$\operatorname{tr}_{\mathcal N\Gamma}(T)=\langle T\delta_e,\delta_e\rangle,$$9 need not be invertible. The theorem therefore allows controlled perturbations. Precisely, if $f\in \mathcal N\Gamma$0 is invertible in $f\in \mathcal N\Gamma$1, then for every $f\in \mathcal N\Gamma$2 and every operator-norm bound $f\in \mathcal N\Gamma$3, there exists $f\in \mathcal N\Gamma$4 such that whenever $f\in \mathcal N\Gamma$5 is large and

$f\in \mathcal N\Gamma$6

one has

$f\in \mathcal N\Gamma$7

Thus the normalized finite-dimensional determinant is asymptotically rigid under small-rank perturbation, provided uniform norm and inverse-norm bounds are retained.

The proof has four standard components in this circle of ideas. First, one reduces to the positive case and then returns to the general case by polar-decomposition and adjoint arguments. Second, Lück’s trace approximation theorem is applied to polynomials $f\in \mathcal N\Gamma$8, giving

$f\in \mathcal N\Gamma$9

after which polynomial approximation of $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$0 transfers the limit to the determinant. Third, noninvertibility of $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$1 is “corralled” into a subspace of rank $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$2, and a perturbation on that subspace produces an invertible $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$3. Fourth, a rank estimate combined with Weyl-type inequalities shows that the determinant error is negligible after division by $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$4.

The theorem subsumes classical one- and multi-variable Mahler-measure regimes. For $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$5, a Laurent polynomial $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$6 with no zeros on the unit circle is invertible in $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$7, and $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$8 is the classical Mahler measure; the compressions are Toeplitz matrices and recover Szegő’s strong limit theorem. For $$\det_{\mathcal N\Gamma}(f)=\exp\!\bigl(\operatorname{tr}_{\mathcal N\Gamma}(\log |f|)\bigr) =\exp\!\Bigl(\tfrac12\,\operatorname{tr}_{\mathcal N\Gamma}\bigl(\log(f^*f)\bigr)\Bigr).$$9, a torus-zero-free Laurent polynomial gives the higher-dimensional Mahler measure and multi-Toeplitz compressions.

The same determinant approximation is the analytic side of Li’s entropy identity. For the algebraic action on

$W^*$0

the main dynamical theorem is

$W^*$1

The normalized determinants $W^*$2 simultaneously approximate the Fuglede–Kadison determinant and the exponential growth rate of $W^*$3-separated orbit sets. Possible directions of further generalization explicitly indicated in this work are replacing amenable $W^*$4 by sofic groups, extending to other traces such as crossed products or groupoid von Neumann algebras, and allowing more general perturbations with subtler rank-versus-norm trade-offs.

3. Exact determinant formulas over free groups and Lehmer-type bounds

A second determinant lineage replaces asymptotic approximation by exact evaluation. Ben Aribi studied Fuglede–Kadison determinants over non-cyclic free groups and connected them to Lück’s Lehmer constants (Aribi, 2022). For a bounded $W^*$5-equivariant operator $W^*$6 on $W^*$7,

$W^*$8

and if $W^*$9 is positive and injective this simplifies to $(M,\tau)$0.

The key exact computation concerns free generators $(M,\tau)$1 of $(M,\tau)$2. The paper proves

$(M,\tau)$3

More generally, the analysis treats operators of the form

$(M,\tau)$4

by relating $(M,\tau)$5 to trace generating series and to random walks on Cayley graphs. The decisive combinatorial input is closed-path counting on the $(M,\tau)$6-regular tree, following techniques of Bartholdi and Dasbach–Lalin. The resulting integral evaluation uses explicit algebraic generating functions and elementary antiderivatives involving $(M,\tau)$7 and logarithms.

These exact formulas feed directly into Lehmer-type questions. The paper recalls the four constants

$(M,\tau)$8

defined as infima of $(M,\tau)$9 over different classes of integer-matrix operators. Since free groups satisfy the Strong Atiyah conjecture, the exact $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$0 computation yields

$\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$1

By subgroup induction, any torsion-free group containing a copy of $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$2 satisfies

$\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$3

Because $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$4, the paper concludes that $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$5 cannot serve as a universal lower gap for such groups.

The same paper also imports $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$6-torsion. For a finite-volume hyperbolic $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$7-manifold $\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$8,

$\Delta(T)=\exp\bigl(\tau(\log|T|)\bigr).$9

and a Dehn-surgery gluing formula gives

$\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$0

for the induced epimorphism $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$1. In favorable CW-presentations, $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$2 is itself a single Fuglede–Kadison determinant of a $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$3 operator over $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$4. Hence the Lehmer constants of $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$5 are bounded above by $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$6, and for small-volume fillings of the Whitehead link this upper bound is strictly below $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$7.

4. Matrix-valued semicircular elements, capacity, and universal lower bounds

Recent free-probabilistic work gives a closed-form Fuglede–Kadison determinant formula in terms of capacity (Mai et al., 2024). In a tracial $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$8-probability space $\Phi:M_m(\mathbb C)\to M_m(\mathbb C)$9, a matrix-valued semicircular element is

$\Gamma$00

where $\Gamma$01 are fixed and $\Gamma$02 are freely independent standard semicircular elements. Its covariance map is

$\Gamma$03

The central theorem is

$\Gamma$04

equivalently

$\Gamma$05

The proof splits into an indecomposable case and a general rank-non-decreasing case. If $\Gamma$06 is indecomposable, Gurvits’s operator-scaling theorem gives a unique minimizer $\Gamma$07, $\Gamma$08, for the capacity problem; scaling $\Gamma$09 makes the covariance doubly stochastic, and in that normalization the operator-valued free-probability analysis shows that $\Gamma$10 has the standard semicircle law on $\Gamma$11, hence determinant $\Gamma$12. In the general case, one perturbs

$\Gamma$13

by a depolarizing channel, proves the formula for $\Gamma$14, and then lets $\Gamma$15 using semi-continuity of $\Gamma$16 and an approximate minimizer for $\Gamma$17.

The same paper sharpens a capacity lower bound for integer data. When

$\Gamma$18

and $\Gamma$19 is rank non-decreasing, Garg–Gurvits–Oliveira–Widgerson had shown $\Gamma$20. Mai and Speicher improve this to the dimension-independent estimate

$\Gamma$21

The argument embeds the associated linear pencil into

$\Gamma$22

uses the Determinantal Conjecture as proved for free groups by Elek–Szabó to obtain $\Gamma$23, and then combines a conjugation argument with the AM–GM bound $\Gamma$24.

Several consequences are immediate. First,

$\Gamma$25

so $\Gamma$26 is invertible as an unbounded operator if and only if $\Gamma$27 is rank non-decreasing; this recovers analytically the noncommutative Edmonds problem. Second, for integer data and invertible $\Gamma$28,

$\Gamma$29

a universal lower bound independent of $\Gamma$30 and of the entries of the $\Gamma$31. Third, if $\Gamma$32 has spectrum in $\Gamma$33, then for every $\Gamma$34,

$\Gamma$35

so a positive lower bound on $\Gamma$36 yields uniform control of spectral mass near zero. This suggests a precise infinite-dimensional analogue of the principle that an integer matrix with determinant at least $\Gamma$37 cannot have too many very small eigenvalues.

5. Fuglede–Putnam-type inequalities and the Aluthge transform

In operator theory, “Fuglede-type” refers to consequences of the Fuglede–Putnam implication beyond the normal setting (Moslehian et al., 2011). Let

$\Gamma$38

be polar decompositions on Hilbert spaces $\Gamma$39, and let $\Gamma$40 be the Aluthge transform. The classical theorem asserts that if $\Gamma$41 and $\Gamma$42 are normal, then

$\Gamma$43

Moslehian and Nabavi Sales study how this property behaves under Aluthge transform. If $\Gamma$44 and $\Gamma$45 are invertible and $\Gamma$46 has the FP-property, then $\Gamma$47 also has the FP-property. Conversely, if $\Gamma$48 are invertible, the spectra of $\Gamma$49 and $\Gamma$50 are contained in some open semicircle, and $\Gamma$51 has the FP-property, then $\Gamma$52 has the FP-property. They also prove the commutant relations

$\Gamma$53

and, when $\Gamma$54 is invertible,

$\Gamma$55

The mechanism is functional calculus on $\Gamma$56 and $\Gamma$57, together with the intertwining relations produced by the FP-property.

The quantitative estimate is a Schatten-norm inequality. If

$\Gamma$58

then for any $\Gamma$59,

$\Gamma$60

The proof proceeds by first obtaining a single-operator estimate under the commutation condition $\Gamma$61, then embedding the pair into the block operators

$\Gamma$62

and finally reading off the relevant block inequality.

This line should not be conflated with Fuglede–Kadison determinant estimates. The common feature is the extension of a Fuglede-origin theorem to nonnormal or perturbed settings, but the objects, techniques, and conclusions are different: one concerns trace-log invariants in von Neumann algebras, the other commutant structure and Schatten-norm control for bounded operators.

6. Geometric stability and finite-field analogues

The geometric literature uses “Fuglede-type” for second-order stability inequalities around the ball under convexity constraints (Prunier, 2023). For the capacity functional, let $\Gamma$63 be the unit-volume ball and write a small radial perturbation as

$\Gamma$64

with $\Gamma$65, $\Gamma$66, and barycenter at $\Gamma$67. Then there exist $\Gamma$68 and $\Gamma$69 such that for $\Gamma$70 and $\Gamma$71,

$\Gamma$72

with equality only when $\Gamma$73. Equivalently, with $\Gamma$74,

$\Gamma$75

The crucial weak IT estimate is

$\Gamma$76

while perimeter contributes the classical second-order expansion

$\Gamma$77

with

$\Gamma$78

The proof strategy combines a radial homeomorphism $\Gamma$79, the capacitary test function $\Gamma$80, and sharp isoperimetric control of perimeter.

For the first Dirichlet eigenvalue, the same paper studies

$\Gamma$81

among convex unit-volume sets. It identifies the exact threshold

$\Gamma$82

for local minimality of the ball. If $\Gamma$83, then there exists $\Gamma$84 such that every convex $\Gamma$85 with $\Gamma$86 and $\Gamma$87 satisfies

$\Gamma$88

with equality only for $\Gamma$89. If $\Gamma$90, there are smooth convex perturbations $\Gamma$91 with $\Gamma$92. The second-order expansion is

$\Gamma$93

where

$\Gamma$94

The sharp result relies on a smooth second-order analysis, then on a selection principle and a $\Gamma$95-regularity theorem for convex quasi-minimizers.

A distinct but often conflated Fuglede lineage concerns spectral sets and translational tiling in $\Gamma$96 (Fallon et al., 2019). A set $\Gamma$97 is spectral if the exponentials $\Gamma$98 form an orthogonal basis of $\Gamma$99, and it tiles by translation if

$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$00

For odd $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$01, spectrality forces either $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$02 or $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$03, and the central Fourier lemma states that for $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$04,

$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$05

if and only if $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$06 is equidistributed on the $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$07 parallel planes orthogonal to $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$08. From this one obtains the concentration bounds

$\mathcal N\Gamma\subset B(\ell^2(\Gamma))$09

and analogous bounds for the spectrum $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$10. Using these bounds together with case-specific combinatorics, the paper proves that for $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$11, a subset $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$12 is spectral if and only if it tiles $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$13 by translation, and it gives an alternate proof for $\mathcal N\Gamma\subset B(\ell^2(\Gamma))$14.

Taken together, these examples show that “Fuglede-type estimates” can mean asymptotic determinant approximation, exact determinant evaluation, Schatten-norm coercivity, quadratic shape stability, or Fourier-combinatorial obstruction, depending on which Fuglede-origin problem is under discussion. The shared feature is not a single formal template but a recurring strategy: translate a structural property—entropy, rank non-decrease, commutation, local minimality, or spectrality—into a quantitative inequality that is stable under perturbation.