Quantum Sobolev Spaces

• Quantum Sobolev spaces are noncommutative analogues of classical Sobolev spaces where smoothness is measured on operators using tools like quantum Fourier transforms and derivations.
• They encompass diverse constructions on quantum tori, Euclidean spaces, and Lie groups by reformulating classical regularity via spectral methods and operator-space techniques.
• These spaces enable analysis of operator-valued PDEs, embeddings, and pseudodifferential calculus, providing actionable insights in noncommutative geometry.

Quantum Sobolev spaces are noncommutative analogues of classical Sobolev or Bessel-potential spaces in which regularity is measured on operators or noncommutative $L^p$-spaces rather than on scalar functions. In the literature, the term covers several distinct but closely related constructions: spaces of compact operators whose regularity is defined by a quantum Fourier transform associated with an integrable projective representation of a locally compact abelian group (Plakhotnikov, 29 Sep 2025); Hilbert–Schmidt versions of the same idea (Lakmon et al., 20 Sep 2025); Sobolev, Besov, and Triebel–Lizorkin scales on quantum tori (Xiong et al., 2015); Laplacian-based and commutator-based scales on quantum Euclidean spaces (Ruzhansky et al., 2023, Lafleche, 2022); and Sobolev algebras that carry quantum compact metric-space or spectral-triple structures on Lie groups (Arhancet, 2022). Across these settings, differentiation is replaced by derivations, commutators, Laplacians, or operator-valued Fourier transforms, while classical $L^p$-targets are replaced by Schatten classes, noncommutative $L^p$-spaces, or operator-space structures.

1. Main constructions and common principles

The cited literature develops several models rather than a single canonical definition. In the operator-valued Fourier-analytic setting, the basic objects are compact operators on a Hilbert space, and regularity is imposed on their quantum Fourier transform (Plakhotnikov, 29 Sep 2025). On quantum tori, the basic objects are elements of a noncommutative torus algebra, and smoothness is encoded by derivations $\delta_j$, the quantum Laplacian $\Delta$, and Littlewood–Paley decompositions (Xiong et al., 2015). On quantum Euclidean spaces, one uses noncommutative $L^p$-spaces attached to a semifinite trace together with derivatives $\partial_j$, Bessel potentials, or commutators with position and momentum (Ruzhansky et al., 2023, Lafleche, 2022). In a geometric direction, Sobolev algebras associated with subelliptic Laplacians on Lie groups can underlie quantum compact metric spaces and spectral triples (Arhancet, 2022).

These constructions share a small set of recurrent mechanisms. First, regularity is almost always spectral: one weights Fourier coefficients, eigenmodes of a Laplacian, or singular values. Second, the ambient integration theory is noncommutative: one works in Schatten ideals, tracial $L^p$-spaces, or operator-space norms. Third, the classical Sobolev themes of embeddings, lifting, Poincaré inequalities, interpolation, semigroup characterizations, and elliptic regularity remain central, but they are reformulated in operator-theoretic terms.

Setting	Regularity device	Representative space
LCA group with projective representation	quantum Fourier transform $F_U$	$\mathfrak{H}^{s,p}_\gamma(G,H)$
Quantum torus $L^p$0	derivations $L^p$1, Laplacian $L^p$2	$L^p$3, $L^p$4
Quantum Euclidean space	$L^p$5, $L^p$6, $L^p$7, $L^p$8	$L^p$9, $L^p$0, $L^p$1
Subelliptic Lie-group setting	$L^p$2, Lip-norm $L^p$3	$L^p$4, Sobolev algebras

2. Operator-valued Fourier-analytic quantum Sobolev spaces

A prominent line of work defines quantum Sobolev spaces on compact operators over a separable Hilbert space $L^p$5 by means of a quantum Fourier transform attached to an integrable projective representation $L^p$6 of an LCA group $L^p$7. For $L^p$8, the transform is

$L^p$9

with reconstruction

$\delta_j$0

and, under the integrability assumption, $\delta_j$1 is unitary. The Hilbert–Schmidt quantum Sobolev space is then

$\delta_j$2

with norm

$\delta_j$3

This yields a Hilbert space structure, monotone embeddings in the smoothness index $\delta_j$4, and a continuous embedding $\delta_j$5 (Lakmon et al., 20 Sep 2025).

A broader $\delta_j$6-scale replaces the Hilbert–Schmidt class by Schatten $\delta_j$7 for $\delta_j$8, with $\delta_j$9 determined by $\Delta$0. In that setting,

$\Delta$1

and the homogeneous version is

$\Delta$2

For $\Delta$3, the map

$\Delta$4

embeds $\Delta$5 continuously into $\Delta$6, with closed image, so the space is realized as a Banach space of operators whose regularity is visible on the Fourier side. For $\Delta$7, the theory proceeds through negative-order spaces $\Delta$8, trace duality, and completion arguments, yielding a canonical continuous embedding $\Delta$9 (Plakhotnikov, 29 Sep 2025).

This operator-valued framework is one of the most explicit noncommutative analogues of Bessel-potential theory. Its distinctive feature is that the basic unknowns are compact operators, while the Fourier side remains scalar-valued.

3. Quantum tori and noncommutative torus Sobolev scales

On a quantum torus $L^p$0, the algebra of “functions” is generated by unitaries $L^p$1 satisfying twisted commutation relations, with Fourier basis $L^p$2 and canonical trace $L^p$3. The basic derivations are

$L^p$4

and the quantum Laplacian is

$L^p$5

This leads to the standard Sobolev scale

$L^p$6

and the potential spaces

$L^p$7

For integer $L^p$8 and $L^p$9, one has

$\partial_j$0

with equivalent norms. The theory also includes a lifting theorem, Poincaré-type inequalities, equivalence between $\partial_j$1 and Lipschitz spaces of order $\partial_j$2, difference characterizations, explicit K-functionals for $\partial_j$3, and Sobolev/Besov embedding theorems (Xiong et al., 2015).

An anisotropic variant replaces isotropic derivative order by a finite smoothness set $\partial_j$4. On the classical torus, the norm

$\partial_j$5

defines an anisotropic Sobolev space $\partial_j$6; by transference, the same structure passes to the quantum torus $\partial_j$7 through the derivations $\partial_j$8. Under Property (O), there exists a completely bounded Paley projection

$\partial_j$9

associated to some infinite sequence $L^p$0 (Qiu, 2013).

A more recent refinement introduces Orlicz-Sobolev spaces on the quantum torus. If $L^p$1 is a Young function and $L^p$2, the Orlicz-Sobolev norm is

$L^p$3

where $L^p$4 is an Orlicz-Schatten ideal. The singular values of $L^p$5 satisfy

$L^p$6

and when

$L^p$7

with $L^p$8, the embedding $L^p$9 is completely $F_U$0-summing and factors through $F_U$1 (Sulaver, 21 May 2025).

4. Quantum Euclidean spaces and phase-space formulations

Quantum Euclidean space $F_U$2 is the von Neumann algebra generated by a unitary family $F_U$3 satisfying a Weyl commutation relation. With its canonical semifinite trace $F_U$4, one obtains noncommutative $F_U$5-spaces $F_U$6, a quantum Fourier transform

$F_U$7

derivations $F_U$8, the Laplacian

$F_U$9

and the Bessel potential operator $\mathfrak{H}^{s,p}_\gamma(G,H)$0. The associated Sobolev scales are

$\mathfrak{H}^{s,p}_\gamma(G,H)$1

and

$\mathfrak{H}^{s,p}_\gamma(G,H)$2

These spaces support a quantum Hörmander multiplier theorem, Sobolev embeddings, heat semigroup estimates, logarithmic Sobolev inequalities, and Nash-type inequalities (Ruzhansky et al., 2023).

A closely related but technically richer approach studies singular integrals and pseudodifferential calculus on quantum Euclidean spaces and quantum tori. There the Laplacian $\mathfrak{H}^{s,p}_\gamma(G,H)$3 and the Sobolev norms

$\mathfrak{H}^{s,p}_\gamma(G,H)$4

anchor a full $\mathfrak{H}^{s,p}_\gamma(G,H)$5-theory, with Calderón–Zygmund kernels, quantum symbol classes $\mathfrak{H}^{s,p}_\gamma(G,H)$6 and $\mathfrak{H}^{s,p}_\gamma(G,H)$7, Sobolev $\mathfrak{H}^{s,p}_\gamma(G,H)$8-estimates, and elliptic regularity for quantum pseudodifferential equations (González-Pérez et al., 2017).

A different phase-space formalism works directly on operators on $\mathfrak{H}^{s,p}_\gamma(G,H)$9 and treats position and momentum commutators as derivatives: $L^p$00 With the scaled Schatten norm

$L^p$01

the homogeneous quantum Sobolev norm is

$L^p$02

and for $L^p$03,

$L^p$04

The same framework defines a quantum fractional Laplacian $L^p$05, Bessel spaces $L^p$06, and quantum Besov spaces, together with Gagliardo–Sobolev, Morrey–Sobolev, and Hardy–Littlewood–Sobolev analogues (Lafleche, 2022).

At the endpoint $L^p$07, the first-order homogeneous space

$L^p$08

is characterized by the weak Schatten behavior of the quantized derivative $L^p$09. For non-degenerate $L^p$10,

$L^p$11

which refines the statement $L^p$12 by giving exact singular-value asymptotics (Tian, 17 May 2025).

5. Embeddings, inequalities, and operator ideals

Embedding theorems are a central part of the subject, but the target spaces vary with the model. In the operator-valued Fourier framework, the Hilbert–Schmidt theory gives the continuous embedding

$L^p$13

and, if

$L^p$14

then

$L^p$15

More generally, if $L^p$16 and

$L^p$17

then

$L^p$18

continuously (Lakmon et al., 20 Sep 2025).

For the broader $L^p$19-scale on Schatten classes, the main quantitative theorem states that if $L^p$20, $L^p$21, and either $L^p$22 or $L^p$23, with

$L^p$24

and $L^p$25, then

$L^p$26

For $L^p$27, by contrast, there is in general no embedding

$L^p$28

without additional assumptions (Plakhotnikov, 29 Sep 2025).

On quantum Euclidean spaces, the Sobolev embedding theorem takes the classical dimensional form. If $L^p$29 and

$L^p$30

then

$L^p$31

The same paper derives

$L^p$32

for the heat semigroup, together with logarithmic Sobolev and Nash-type inequalities (Ruzhansky et al., 2023).

In the phase-space commutator model, quantum Sobolev inequalities retain the classical exponent relation

$L^p$33

For $L^p$34,

$L^p$35

and analogous estimates hold with $L^p$36 on the right-hand side. The same framework yields a Morrey–Sobolev estimate

$L^p$37

and an uncertainty principle for the Wigner–Yanase skew information (Lafleche, 2022).

On quantum tori, the embedding theory is equally parallel to the classical picture. The paper on $L^p$38 proves Sobolev, Besov, and Triebel–Lizorkin embeddings, including

$L^p$39

and identifies $L^p$40 with $L^p$41 (Xiong et al., 2015). The Orlicz-Sobolev theory on quantum tori adds a factorization statement: when $L^p$42 and the Orlicz spectral condition

$L^p$43

holds, the embedding

$L^p$44

is completely $L^p$45-summing and factors through $L^p$46 (Sulaver, 21 May 2025).

6. PDEs, metric geometry, and adjacent frameworks

Quantum Sobolev spaces are used as solution spaces for operator-valued equations. In the Hilbert–Schmidt LCA-group theory, the equation

$L^p$47

has a unique solution

$L^p$48

in the domain

$L^p$49

and an analogous statement holds for the quantum generalized bosonic string equation

$L^p$50

with domain $L^p$51 (Lakmon et al., 20 Sep 2025). In the quantum Euclidean pseudodifferential theory, elliptic symbols in $L^p$52 admit parametrices and yield Sobolev $L^p$53-regularity: $L^p$54 under the stated ellipticity hypotheses (González-Pérez et al., 2017). On quantum tori, Orlicz-Sobolev embeddings feed into elliptic regularity for

$L^p$55

and the heat semigroup satisfies Schatten smoothing estimates from $L^p$56 to $L^p$57 (Sulaver, 21 May 2025).

A geometric interpretation appears in the Lie-group setting. Let $L^p$58 be a compact connected Lie group with Hörmander vector fields $L^p$59, local dimension $L^p$60, and subelliptic Laplacian

$L^p$61

For

$L^p$62

the seminorm

$L^p$63

makes $L^p$64 into a $L^p$65-quasi-Leibniz quantum compact metric space. The associated Hodge–Dirac operator

$L^p$66

produces a compact spectral triple whose spectral dimension is the local dimension $L^p$67, and the Connes spectral pseudo-metric recovers the Carnot–Carathéodory distance (Arhancet, 2022).

A related strand uses the Sobolev terminology primarily at the level of inequalities. On finite von Neumann algebras, complete Sobolev type inequalities are formulated through derivations, Fisher information, and complete $L^p$68-Sobolev inequalities; this includes complete logarithmic Sobolev inequalities and matrix-valued Beckner inequalities (Li, 2020). On finite-dimensional matrix algebras with stationary state $L^p$69, weighted noncommutative $L^p$70-spaces and quantum logarithmic Sobolev inequalities are used to study hypercontractivity and rapid mixing of quantum Markov semigroups (Kastoryano et al., 2012). For matrix-valued functions, $L^p$71-Sobolev inequalities control the Holevo quantity of classical–quantum ensembles through Dirichlet forms and strong data processing constants (Cheng et al., 2015).

This suggests that “quantum Sobolev spaces” denotes a family of noncommutative regularity scales rather than a single universally fixed object. The precise form of the space depends on the ambient noncommutative geometry—projective representation, quantum torus, quantum Euclidean space, spectral triple, or quantum Markov semigroup—but the underlying purpose is stable: to measure smoothness, integrability, and spectral decay in settings where the basic variables are operators rather than scalar functions.