Hyperlinear: Groups & STM Insights

• Hyperlinear refers to two distinct concepts: one in geometric group theory, where groups are approximated by finite-dimensional unitary models with normalized Hilbert–Schmidt metrics, and one in STM relating to super-linear current responses.
• In group theory, hyperlinear groups are characterized by Connes-embeddability and approximate representations, linking them to soficity and broader metric approximation properties.
• In scanning tunneling microscopy, hyperlinear describes a super-linear current dependence arising from multiple vibrational excitations and local vibronic heating effects.

Searching arXiv for papers on hyperlinear groups and related topics. Hyperlinear is a technical adjective with distinct meanings in contemporary research. In geometric group theory, operator algebras, and quantum groups, it denotes approximability by finite-dimensional unitary groups equipped with the normalized Hilbert–Schmidt metric, equivalently a Connes-embeddability property for the associated von Neumann algebra (Capraro et al., 2013, Dogon et al., 25 Jun 2025). In scanning tunneling microscopy, it denotes a current dependence that is more than linear and, in the CO/Si(001) system, is associated with multiple vibrational excitation and local vibronic heating (Momose et al., 2012). The term therefore does not name a single unified theory, but two established technical usages.

1. Formal mathematical meaning

For a countable discrete group $G$, the standard unitary model uses the normalized Hilbert–Schmidt norm

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$

on $U(n)$, with induced bi-invariant metric

$d_{HS}(U,V):=\|U-V\|_2.$

A group is hyperlinear if there exists a non-principal ultrafilter $\omega$ and an embedding

$G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$

or, equivalently, if every finite portion of the multiplication table can be approximated inside some $U(n)$ by maps that are approximately multiplicative and uniformly separate nontrivial elements from the identity (Brude et al., 2020, Capraro et al., 2013).

Several equivalent formulations are used in the literature. One formulation requires maps $\phi:G\to U(n)$ with $\phi(1)=I_n$, approximate multiplicativity on a prescribed finite set, and a trace-separation condition $|\operatorname{Tr}(\phi(g))|<\varepsilon$ for $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$0, which is equivalent to $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$1 being almost orthogonal to the identity in Hilbert–Schmidt norm (Brude et al., 2020). Another formulation uses asymptotic unitary representations $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$2 satisfying

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$3

for all $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$4, together with

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$5

for $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$6 (Dogon et al., 25 Jun 2025).

A von Neumann algebraic formulation is also standard: a countable discrete group $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$7 is hyperlinear, or Connes-embeddable, if its group von Neumann algebra $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$8 embeds trace-preservingly into a tracial ultraproduct of matrix algebras, equivalently into an ultrapower $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$9 of the hyperfinite $U(n)$0 factor (Dogon et al., 25 Jun 2025, Capraro et al., 2013). In continuous logic, this extends to bi-invariant metric groups: hyperlinear metric groups are those that embed isometrically as closed subgroups of ultraproducts of $U(n)$1, and the class is sup-axiomatizable (Ivanov, 2016).

2. Position in approximation theory

Hyperlinearity is one member of a broader family of metric-approximation properties. Arzhantseva–Paunescu and Thom’s framework, as presented by Brude–Sasyk, treats several classes uniformly (Brude et al., 2020).

Property	Approximating class	Metric
Weakly sofic	Finite groups	Any bi-invariant metric
Sofic	$U(n)$2	$U(n)$3
Linear-sofic	$U(n)$4	$U(n)$5
Hyperlinear	$U(n)$6	$U(n)$7

Within this hierarchy, every sofic group is known to be hyperlinear by sending permutations to permutation matrices and comparing Hamming distance with Hilbert–Schmidt distance (Capraro et al., 2013). The converse remains open in the cited literature, as does the existence of any non-sofic or non-hyperlinear group (Brude et al., 2020, Capraro et al., 2013).

The class includes many standard examples. Finite groups, residually finite groups, and amenable groups are hyperlinear (Capraro et al., 2013). The notion is also linked to longstanding structural problems. Capraro–Lupini’s survey emphasizes its role in the Connes embedding framework for group von Neumann algebras (Capraro et al., 2013), while Klyachko–Thom use hyperlinearity to solve a family of equations over groups: if $U(n)$8 has content $U(n)$9, then $d_{HS}(U,V):=\|U-V\|_2.$0 has a solution over a hyperlinear group $d_{HS}(U,V):=\|U-V\|_2.$1, and if $d_{HS}(U,V):=\|U-V\|_2.$2 is finite the solution can be found in a finite extension (Klyachko et al., 2015).

A recurrent misconception is to identify hyperlinearity with arbitrary matrix approximability. The defining feature is not merely approximation by matrices, but approximation by unitaries in the normalized Hilbert–Schmidt geometry, or equivalently embeddability into the corresponding tracial ultraproducts (Capraro et al., 2013, Ivanov, 2016).

3. Permanence under amenability

One of the strongest permanence theorems currently available concerns amenable actions. Brude and Sasyk proved that if $d_{HS}(U,V):=\|U-V\|_2.$3 is amenable and $d_{HS}(U,V):=\|U-V\|_2.$4 is hyperlinear, then the unrestricted wreath product

$d_{HS}(U,V):=\|U-V\|_2.$5

is hyperlinear (Brude et al., 2020). The same theorem is proved simultaneously for weakly sofic, sofic, and linear-sofic groups.

The proof proceeds in two stages. First, amenability of $d_{HS}(U,V):=\|U-V\|_2.$6 provides a large finite Følner set $d_{HS}(U,V):=\|U-V\|_2.$7 and a near-action $d_{HS}(U,V):=\|U-V\|_2.$8 that is Hamming-multiplicative on a prescribed finite set. Second, the resulting permutational wreath product $d_{HS}(U,V):=\|U-V\|_2.$9 is embedded into a larger unitary group by a block-matrix construction that controls the Hilbert–Schmidt metric (Brude et al., 2020). In the hyperlinear case this yields an $\omega$0-multiplicative, trace-preserving map of $\omega$1 into a finite unitary group, hence hyperlinearity.

Two immediate corollaries are especially important. If

$\omega$2

is exact with $\omega$3 amenable and $\omega$4 hyperlinear, then $\omega$5 is hyperlinear. Likewise, if $\omega$6 is co-amenable and $\omega$7 is hyperlinear, then $\omega$8 is hyperlinear (Brude et al., 2020). These results place hyperlinearity on the same permanence footing as soficity and linear-soficity under amenable extensions.

A complementary amenability result is quantitative rather than closure-theoretic. For amenable groups, every hyperlinear approximation is essentially produced from a sofic approximation: Burton proves that for every finite $\omega$9 and $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$0, there are $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$1 and $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$2 such that any $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$3-hyperlinear approximation is close in Hilbert–Schmidt norm to a sofic-induced approximation arising from an $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$4-sofic partial action (Burton et al., 2023). This gives an effective version of “hyperlinear $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$5 sofic” in the amenable case.

4. Quantitative theory: hyperlinear profile and non-local games

The qualitative definition of hyperlinearity admits a quantitative refinement through the hyperlinear profile. For a finitely presented group $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$6, an $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$7-representation in dimension $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$8 is a map from the free group on $G\hookrightarrow \prod_{n\to\omega}(U(n),d_{HS}),$9 to $U(n)$0 that satisfies each relator up to normalized Frobenius error at most $U(n)$1. Given a finite set of nontrivial words $U(n)$2, the quantity $U(n)$3 is the smallest dimension permitting an $U(n)$4-representation in which every word in $U(n)$5 stays at least $U(n)$6 away from the identity (Slofstra et al., 2017).

Slofstra and Vidick introduced this profile to relate group approximation to the entanglement cost of linear-system non-local games. They exhibit a finitely presented group

$U(n)$7

and prove, for the central involution $U(n)$8, the bounds

$U(n)$9

for small $\phi:G\to U(n)$0 (Slofstra et al., 2017). After embedding into a solution group $\phi:G\to U(n)$1, they obtain a fixed non-local game for which the amount of entanglement required to play $\phi:G\to U(n)$2-optimally grows polynomially; the advertised lower bound is $\phi:G\to U(n)$3 with $\phi:G\to U(n)$4 (Slofstra et al., 2017).

Slofstra later constructed a finitely presented group with at least subexponential hyperlinear profile. In that construction there are constants $\phi:G\to U(n)$5, $\phi:G\to U(n)$6, and $\phi:G\to U(n)$7 such that

$\phi:G\to U(n)$8

for a distinguished word $\phi:G\to U(n)$9 (Slofstra, 2018). The same paper derives a two-player non-local game $\phi(1)=I_n$0 with $\phi(1)=I_n$1 such that any finite-dimensional strategy achieving success at least $\phi(1)=I_n$2 must use local Hilbert spaces of dimension at least

$\phi(1)=I_n$3

This shifted hyperlinearity from a purely qualitative approximation property to a source of explicit lower bounds in quantum information theory (Slofstra, 2018).

5. Quantum-group generalizations

The term also has a precise quantum-group analogue. For a compact quantum group $\phi(1)=I_n$4 of Kac type, the discrete dual $\phi(1)=I_n$5 is called hyperlinear if the von Neumann algebra $\phi(1)=I_n$6 admits a Haar-state-preserving embedding into the ultraproduct $\phi(1)=I_n$7 of the hyperfinite $\phi(1)=I_n$8 factor (Brannan et al., 2018). In this setting one has the implication chain

$\phi(1)=I_n$9

for discrete quantum groups (Brannan et al., 2018, Chirvasitu, 2019).

Brannan, Chirvasitu, and Freslon prove that the discrete duals $|\operatorname{Tr}(\phi(g))|<\varepsilon$0 are residually finite for all $|\operatorname{Tr}(\phi(g))|<\varepsilon$1, hence hyperlinear, using topological generation of $|\operatorname{Tr}(\phi(g))|<\varepsilon$2 by $|\operatorname{Tr}(\phi(g))|<\varepsilon$3 and $|\operatorname{Tr}(\phi(g))|<\varepsilon$4 (Brannan et al., 2018). They also prove that for every $|\operatorname{Tr}(\phi(g))|<\varepsilon$5 and $|\operatorname{Tr}(\phi(g))|<\varepsilon$6, the discrete duals $|\operatorname{Tr}(\phi(g))|<\varepsilon$7 are residually finite and hence hyperlinear (Brannan et al., 2018). In the same work, the universal flat matrix model

$|\operatorname{Tr}(\phi(g))|<\varepsilon$8

is shown to be inner faithful for $|\operatorname{Tr}(\phi(g))|<\varepsilon$9, and by induction for all $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$00 and all $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$01; moreover $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$02 admits an inner faithful finite-dimensional $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$03-representation for all $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$04 (Brannan et al., 2018).

A parallel inductive strategy handles free unitary and orthogonal quantum groups. Tarrago and Weber prove that for every $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$05,

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$06

which yields residual finiteness, factorization, and hyperlinearity for all $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$07 and $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$08 with $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$09 (Chirvasitu, 2019). These examples show that hyperlinearity is not confined to classical discrete groups but extends naturally to discrete duals of noncommutative compact quantum groups.

6. Stability, rigidity, and current routes to non-hyperlinear groups

Recent work has recast hyperlinearity in terms of stability and amenable near actions. Kahl and Schneider prove that a group is hyperlinear if and only if it admits an essentially free amenable near representation on $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$10, thereby answering a question of Pestov and Kwiatkowska (Kahl et al., 15 Apr 2025). In their formulation, one works with a finitely additive probability charge $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$11 on an orthonormal basis $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$12, a map $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$13 that is multiplicative $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$14-almost everywhere, and an essential freeness condition

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$15

They also obtain analogous characterizations of Kirchberg’s factorization property and the Haagerup property (Kahl et al., 15 Apr 2025).

A different recent direction uses Hilbert–Schmidt stability to seek non-hyperlinear groups. Dogon shows that if $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$16 has property (T), $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$17 is torsion-free abelian, and

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$18

is a non-split central extension satisfying additional cohomological hypotheses, then flexible HS-stability or even weak ucp-stability of $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$19 forces $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$20 to be non-hyperlinear (Dogon, 2022). One corollary is that if $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$21 were flexibly HS-stable, then there would exist a non-hyperlinear group (Dogon, 2022).

Dogon and Vigdorovich sharpen this mechanism for higher-rank lattices. If $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$22 is an irreducible lattice in a center-free semisimple Lie group of real rank at least $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$23, has property $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$24, and is flexibly HS-stable, then any infinite central extension

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$25

with $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$26 abelian and $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$27 having finite abelianization is not hyperlinear (Dogon et al., 25 Jun 2025). The same paper links hyperfinitely HS-stable behavior to character rigidity: every character is either finite-dimensional or induced from the center (Dogon et al., 25 Jun 2025). A positive answer to their stability problem for $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$28 would yield an explicit non-hyperlinear central extension by $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$29 (Dogon et al., 25 Jun 2025). This suggests that the non-hyperlinear-group problem may be accessible through rigidity and stability rather than through direct obstruction to matrix approximation.

7. Hyperlinear dependence in scanning tunneling microscopy

Outside group theory, “hyperlinear” appears in surface science to describe a current dependence that is more than linear. In the STM study of CO adsorbed on Si(001), the irreversible lateral motion of a CO molecule showed a hyperlinear dependence on tunneling current, meaning that the displacement rate $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$30 increased faster than $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$31 but could not be fit by a single power law $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$32 over the full current range (Momose et al., 2012).

Experimentally, a clean Si(001)–$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$33 surface was prepared at $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$34, dosed with approximately $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$35 of CO, and scanned repeatedly at $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$36. Under these conditions, CO initially adsorbed invisibly at the down-dimer site (T-CO) and was gradually converted to a bridge site (B-CO), seen as a bright spot at the center of a Si dimer. The rate $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$37 was obtained by counting new bright-spot events at set-point currents $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$38, $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$39, $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$40, $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$41, and $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$42; the resulting log–log plot was curved rather than linear (Momose et al., 2012).

The physical interpretation is a multiple-vibration, or ladder-climbing, mechanism. Each tunneling electron can deposit $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$43 into a local CO vibration, and the T-CO vibrational lifetime of approximately $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$44 is comparable to or longer than the average electron arrival time of approximately $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$45 at $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$46, allowing successive excitations to accumulate until the activation barrier is crossed (Momose et al., 2012). Instead of a pure power law, the data are described by a local vibronic temperature

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$47

combined with the Arrhenius form

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$48

Fits yield

$$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$49

and first-principles calculations give adiabatic barriers of approximately $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$50 for the neutral slab and approximately $$\|A\|_2 := \sqrt{\frac{1}{n}\operatorname{Tr}(A^*A)}$$51 with one extra electron (Momose et al., 2012). The efficient local heating is attributed to a tip-induced mid-gap state at T-CO, which enhances inelastic tunneling; no analogous state exists at B-CO, so local heating there is weak (Momose et al., 2012).

In this STM usage, hyperlinear therefore denotes super-linear but non-power-law current dependence associated with local vibrational pumping and atomic-scale heating, rather than the unitary-approximation property studied in group theory.