---
title: Archimedean Spectrum in Modern Spectral Theory
url: https://www.emergentmind.com/topics/archimedean-spectrum
type: topic
---

# Archimedean Spectrum in Modern Spectral Theory

Searching arXiv for the cited papers to ground the article in current metadata.
In the cited literature, the expression **Archimedean spectrum** does not denote a single universal object. It appears in at least three technically distinct settings: the $\tau$-isotypic cuspidal spectrum of the Casimir operator on $L^2(\Gamma\backslash G_\infty)$ for an arbitrary Archimedean type $\tau$ in automorphic representation theory; the ordinary particle-in-a-box energy spectrum reconstructed from $p$-adic local spectra by an Euler product and a Berkovich-space flow equation; and the spectral theory of periodic quantum graphs associated with Archimedean tilings of the plane [2210.05986] [2001.01725] [1809.09581]. The common adjective therefore signals either an Archimedean place, an Archimedean branch in an adelic construction, or the geometric class of Archimedean tilings, depending on context.

## 1. Terminological scope and ambient frameworks

In automorphic form theory, the relevant ambient data are a split adjoint semisimple $\mathbb Q$-group $G$, its real points $G_\infty=G(\mathbb R)$, a torsion-free congruence subgroup $\Gamma\subset G(\mathbb Z[S^{-1}])$, and a maximal compact subgroup $K_\infty\subset G_\infty$. Within this setting, an **Archimedean type** is an irreducible finite-dimensional representation
\[
\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),
\]
and the corresponding spectrum is the $\tau$-isotypic cuspidal spectrum of the Casimir operator [2210.05986].

In the adelic quantum-mechanical setting of Huang–Mao–Stoica, the Archimedean spectrum is the ordinary one-dimensional particle-in-a-box spectrum
\[
E_n=\frac{\pi^2\hbar^2n^2}{2mL^2},
\]
recovered from local $p$-adic eigenvalues by an Euler product formula. The same work interprets the relation between the finite places and the Archimedean place through a renormalization-group-type flow on the Berkovich space $M(\mathbb Z)$ [2001.01725].

In the spectral theory of periodic quantum graphs, Luo–Jatulan–Law study Schrödinger operators on graphs associated with four Archimedean tilings of the plane: the triangular $(3^6)$, elongated triangular $(3^3,4^2)$, truncated square $(4,8^2)$, and trihexagonal $(3,6,3,6)$ tilings. There the phrase refers to the geometry of the tilings rather than to an infinite place of a global field [1809.09581].

This multiplicity of usage suggests that the unifying notion is not a single invariant but a family of spectral problems in which “Archimedean” identifies the real-place or Euclidean component singled out by the construction.

## 2. Archimedean type and the $\tau$-isotypic cuspidal spectrum

For the automorphic problem, Harish-Chandra’s subquotient theorem implies that every irreducible unitary $\pi_\infty\in\widehat{G_\infty}$ embeds in a standard principal series
\[
\operatorname{Ind}_{P=MAN}^{G_\infty}(w,\nu),
\]
where $w$ is a discrete-series class of $M$, $\nu\in i\mathfrak a^*$, and $P\supset A_0N_0$ is standard. Thus one may identify
\[
\widehat{G_\infty}\cong \bigsqcup_{[P]}\{(w,\nu):w\in \widehat H_2(M),\ \nu\in i\mathfrak a^*\}.
\]
This parametrization is the Archimedean spectral parameter space used in the counting problem [2210.05986].

On $L^2(\Gamma\backslash G_\infty)$ one has the Casimir operator $\Delta$ and its cuspidal spectrum $\operatorname{sp}_{\rm cusp}(\Delta;\tau)$. If
\[
\{0<\lambda_1(\tau)\le \lambda_2(\tau)\le \cdots\}
\]
are the eigenvalues, with multiplicity, of $-\Delta$ on the $\tau$-isotypic cuspidal subspace, then the associated counting function is
\[
N_{\rm cusp}(\tau;T)=\#\{\lambda_i(\tau)\le T\}.
\]
Equivalently,
\[
N_{\rm cusp}(\tau;T)=
\sum_{\substack{\pi_\infty\in\widehat{G_\infty},\;\tau\subset\pi_\infty|_{K_\infty}\\ \lambda(\pi_\infty)\le T}}
m(\pi_\infty)\,\dim\operatorname{Hom}_{K_\infty}(V_\tau,\pi_\infty),
\]
where $m(\pi_\infty)$ is the multiplicity of $\pi_\infty$ in $L^2_{\rm cusp}(\Gamma\backslash G_\infty)$ [2210.05986].

The significance of this formulation is that the spectral asymptotic is organized by $K_\infty$-type rather than only by the bi-$K_\infty$-invariant, or spherical, line. In particular, the counting problem interpolates between the trivial $K_\infty$-type and arbitrary finite-dimensional $\tau$.

## 3. Weyl law for arbitrary Archimedean type

Let $d=\dim X=\dim G_\infty/K_\infty$. The generalized Weyl law proved by Maiti states that as $T\to +\infty$,
\[
N_{\rm cusp}(\tau;T)\sim \dim(V_\tau)\,C\,T^{d/2},
\]
where, up to an unimportant normalization of $\Delta$,
\[
C=\frac{\operatorname{Vol}(\Gamma\backslash G_\infty)}{(4\pi)^{d/2}\,\Gamma\!\bigl(\tfrac d2+1\bigr)}.
\]
Hence
\[
N_{\rm cusp}(\tau;T)\sim
\dim(V_\tau)\,
\frac{\operatorname{Vol}(\Gamma\backslash G_\infty)}{(4\pi)^{d/2}\,\Gamma(\tfrac d2+1)}\,
T^{d/2}.
\]
The main term is therefore the spherical Weyl constant multiplied by $\dim(V_\tau)$ [2210.05986].

The proof differs from the spherical case because the classical Satake isomorphism
\[
C_c^\infty(G_\infty//K_\infty)\cong \mathbb C[\mathfrak a^*]^W
\]
is used in the bi-$K_\infty$-invariant setting to build cuspidalizing test functions, but off the trivial $K_\infty$-type the corresponding Abel–Satake map is no longer surjective onto endomorphism-valued spherical functions. Instead, the argument uses Arthur’s real Paley–Wiener theorem and multipliers. For each $t\in(0,1)$ one produces a compactly supported $\operatorname{End}(V_\tau)$-valued function $H_{t,\infty}\in C_c(G_\infty,\tau)$ with Harish-Chandra transform essentially
\[
\widehat H_{t,\infty}(w,\nu)=|\psi(t\nu)|^2,
\]
where $\psi$ is a rapidly decaying Schwartz function on $i\mathfrak a^*$ with $\psi(0)=1$. At the non-Archimedean places, one chooses $f_f$ to be products of Steinberg pseudo-coefficients, so that the full test function $f=f_\infty\otimes f_f$ has purely cuspidal image under the right-regular representation [2210.05986].

Inserted into the partial trace formula, this test function yields the identity contribution
\[
\operatorname{Vol}(\Gamma\backslash G_\infty)\,\operatorname{Tr}(f(1))
\approx
\dim(V_\tau)\,\operatorname{Vol}(\Gamma\backslash G_\infty)
\int_{i\mathfrak a^*}|\psi(t\nu)|^2\,\mu_{\rm Pl}(w,\nu)\,d\nu,
\]
and Plancherel inversion gives, as $t\to 0$,
\[
\int_{i\mathfrak a^*}|\psi(t\nu)|^2\,\mu_{\rm Pl}(w,\nu)\,d\nu
\longrightarrow
a(G)=(4\pi)^{-d/2}\Gamma(\tfrac d2+1)^{-1}.
\]
The non-identity orbital integrals are shown to be of size $O(t^{-d+1/2})$ and therefore vanish after multiplying by $t^{d/2}$ and letting $t\to 0$ [2210.05986].

A fundamental special case is $\tau\equiv 1$, where one recovers exactly the Lindenstrauss–Venkatesh result. For $G_\infty=SL(2,\mathbb R)$, $K_\infty=SO(2)$, and $\tau_k$ the one-dimensional weight-$k$ character, $d=2$ and
\[
N_{\rm cusp}(k;T)\sim \frac{\operatorname{Vol}(\Gamma\backslash\mathbb H)}{4\pi}\,T
\qquad (T\to\infty),
\]
which is Selberg’s Weyl law for Maass forms of weight $k$ [2210.05986].

## 4. Local-to-Archimedean reconstruction in adelic quantum mechanics

In the framework of Huang–Mao–Stoica, a free particle on $\mathbb Q_p$ with periodic boundary conditions is governed by the Hamiltonian
\[
H_p\,\psi(x)=\Bigl\lvert \frac{h^2}{2m}\Bigr\rvert_p\,{}_x^2\,\psi(x),
\]
where the Vladimirov operator is defined by
\[
{}_x^2\,\psi(x)=F_p^{-1}\bigl[\,|k|_p^2\,F_p[\psi](k)\bigr](x).
\]
The periodicity condition is
\[
\psi(x+2T)=\psi(x)\qquad \forall\,x\in\mathbb Q_p.
\]
Expanding in additive characters $\chi_p(kx)$ and imposing periodicity gives the admissible momenta
\[
k=\frac{n}{2T},\qquad n\in\mathbb Z,
\]
and therefore the local energy eigenvalues
\[
E_p(n)=\Bigl\lvert\frac{h^2}{8mT^2}\Bigr\rvert_p\,|n|_p^2,\qquad n\in\mathbb Z
\]
[2001.01725].

The Archimedean energy spectrum is then defined by the Euler product
\[
E_{\rm Arch}(n)\equiv \prod_{p\ \mathrm{prime}} E_p(n)^{-1}.
\]
Using the product formula for norms on $\mathbb Q$,
\[
\prod_{v=\infty,2,3,5,\dots}|q|_v=1,
\]
one obtains
\[
E_{\rm Arch}(n)=
\Bigl\lvert\frac{h^2}{8mT^2}\Bigr\rvert_\infty\,n^2
=
\frac{h^2n^2}{8mT^2}.
\]
After identifying $2T=L$ and writing $h=2\pi\hbar$, this becomes
\[
E_n=\frac{\pi^2\hbar^2n^2}{2mL^2},\qquad n=1,2,3,\dots
\]
[2001.01725].

The construction is accompanied by a Berkovich-space interpretation. The ring $\mathbb Z$ is regarded as a tree of seminorms $M(\mathbb Z)$, with a central trivial norm, one Archimedean branch parametrized by $0<\epsilon\le 1$ on $|\cdot|_\infty^\epsilon$, and infinitely many $p$-adic branches parametrized by $0<\epsilon<\infty$ on $|\cdot|_p^\epsilon$. At a point on branch $v$ with coordinate $\epsilon$ one assigns
\[
E_{(v)}(\epsilon)=
\Bigl\lvert\frac{h^2}{8mT^2}\Bigr\rvert_v^\epsilon
|n|_v^{2\epsilon}.
\]
To lowest order in $\epsilon$, the proposed flow equation is
\[
\lim_{\delta\to 0}
\frac{E_{(v)}(\epsilon+\delta)+E_{(v)}(\epsilon-\delta)-2E_{(v)}(\epsilon)}{\delta}=0,
\]
while at the central vertex one obtains
\[
\sum_{v=\infty,2,3,\dots}\lim_{\delta\to 0}
\frac{E_{(v)}(\delta)-E(0)}{\delta}
=
\sum_v \ln\Bigl| \frac{n}{2T}\Bigr|_v^2=0.
\]
A second-order version is
\[
\Delta E=\lambda^2E,
\]
with $\lambda_v=\ln|n/(2T)|_v^2$ chosen branch by branch [2001.01725].

This suggests an interpretation in which the Archimedean spectrum is not independent of the finite-place spectra, but is obtained by a global matching condition encoded at the central vertex of the Berkovich tree.

## 5. Spectra of periodic quantum graphs associated with Archimedean tilings

For periodic quantum graphs associated with Archimedean tilings, each edge of length $a>0$ carries the one-dimensional Schrödinger operator
\[
-\frac{d^2}{dx^2}+q(x),\qquad x\in[0,a],
\]
where $q$ is real-valued, $a$-periodic on the graph, identical on each edge, and even. On $[0,a]$, the cosine-like and sine-like solutions are defined by
\[
C(0,\rho)=1,\ C'(0,\rho)=0,\qquad S(0,\rho)=0,\ S'(0,\rho)=1,
\]
and one writes
\[
S=S(a,\rho),\quad S'=S'(a,\rho),\quad C=C(a,\rho),\quad C'=C'(a,\rho).
\]
The quasi-momentum $\Theta=(\theta_1,\theta_2)$ ranges over the Brillouin zone $[-\pi,\pi]^2$, and the Floquet–Bloch boundary conditions produce a characteristic determinant
\[
\Phi(\rho,\Theta)=S^m\,p\bigl(S'(a,\rho),\Theta\bigr)=0
\]
for some $m\ge 0$ and a low-degree symmetric polynomial $p$ [1809.09581].

Under the assumption that the edge-potentials are identical and even, the exact dispersion relations for four Archimedean tilings are:

- **Triangular tiling $(3^6)$**:
  \[
  S^2\Bigl(
  3S'+1-4\cos\frac{\theta_1}{2}\cos\frac{\theta_2}{2}\cos\frac{\theta_2-\theta_1}{2}
  \Bigr)=0.
  \]

- **Elongated triangular tiling $(3^3,4^2)$**:
  \[
  S^3\Bigl(
  25{S'}^2
  -20\cos\theta_1\,S'
  -8\cos\frac{\theta_1}{2}\cos\frac{\theta_2}{2}\cos\frac{\theta_1-\theta_2}{2}
  +4\cos^2\theta_1
  -1
  \Bigr)=0.
  \]

- **Truncated square tiling $(4,8^2)$**:
  \[
  S^2\Bigl(
  81{S'}^4
  -54{S'}^2
  -12S'(\cos\theta_1+\cos\theta_2)
  +1
  -4\cos\theta_1\cos\theta_2
  \Bigr)=0.
  \]

- **Trihexagonal tiling $(3,6,3,6)$**:
  \[
  S^3(2S'+1)\Bigl(
  2{S'}^2-S'
  -\cos\frac{\theta_1}{2}\cos\frac{\theta_2}{2}\cos\frac{\theta_1-\theta_2}{2}
  \Bigr)=0
  \]
  [1809.09581].

By Floquet theory, the spectrum decomposes as
\[
\sigma(H)=\{\rho^2:S(a,\rho)=0\}\ \cup\
\bigl\{\rho^2:p(S'(a,\rho),\Theta)=0\text{ for some }\Theta\in[-\pi,\pi]^2\bigr\}.
\]
The zeros of the factor $S^m$ produce infinitely degenerate eigenvalues, or flat bands, while the remaining factor determines the absolutely continuous spectrum with band-gap structure [1809.09581].

For the four tilings, the absolutely continuous spectrum can be characterized by the following ranges of $S'(a,\rho)$:

| Tiling | Condition for $\sigma_{ac}(H)$ |
|---|---|
| $(3^6)$ | $S'(a,\rho)\in[-\tfrac12,1]$ |
| $(3^3,4^2)$ | $S'(a,\rho)\in[-\tfrac35,1]$ |
| $(4,8^2)$ | $S'(a,\rho)\in[-1,1]$ |
| $(3,6,3,6)$ | $S'(a,\rho)\in[-\tfrac12,1]$ |

The trigonometric structure of the dispersion relations reflects the symmetry of the underlying tilings. In particular, the combinations
\[
\cos\theta_1,\quad \cos\theta_2,\quad \cos(\theta_1-\theta_2),\quad
4\cos\frac{\theta_1}{2}\cos\frac{\theta_2}{2}\cos\frac{\theta_1-\theta_2}{2}
=
\frac{|1+e^{i\theta_1}+e^{i\theta_2}|^2-1}{2}
\]
encode sixfold rotational symmetry for the triangular and trihexagonal tilings, a distinguished long direction for the elongated triangular tiling, and fourfold rectangular symmetry for the truncated square tiling [1809.09581].

## 6. Technical contrasts, shared motifs, and recurrent points of confusion

The three spectral problems differ sharply in operator, state space, and asymptotic regime. In the automorphic setting, the operator is the Casimir operator on the cuspidal subspace of $L^2(\Gamma\backslash G_\infty)$, and the principal result is an asymptotic counting law weighted by $\dim(V_\tau)$. In the adelic quantum-mechanical setting, the operator is the $p$-adic free Hamiltonian built from the Vladimirov operator, and the Archimedean spectrum is reconstructed exactly by an Euler product. In the quantum-graph setting, the operator is a periodic Schrödinger operator on a graph, and the spectrum decomposes into point spectrum and absolutely continuous spectrum with explicit dispersion relations [2210.05986] [2001.01725] [1809.09581].

A recurrent source of confusion is that the adjective **Archimedean** is used in different senses. In Maiti’s work, it labels a $K_\infty$-type; in Huang–Mao–Stoica, it labels the ordinary real-place spectrum appearing as the endpoint of a product over $p$-adic factors; and in Luo–Jatulan–Law, it labels a class of Euclidean tilings. The coincidence of terminology does not imply a common operator or a common parameter space.

Another important distinction concerns the role of symmetry. In the spherical automorphic case, the Satake isomorphism is available, whereas off the trivial $K_\infty$-type the relevant Abel–Satake map is no longer surjective, necessitating Arthur’s Paley–Wiener theorem and multipliers [2210.05986]. In the quantum-graph setting, by contrast, symmetry simplifies the characteristic determinant and allows factorization into $S^m$ times a low-degree polynomial in $S'$, especially under the evenness assumption on the edge potential [1809.09581]. In the Berkovich-space construction, the decisive symmetry is the product formula
\[
\sum_v \ln|q|_v=0,
\]
which functions as the matching condition between the Archimedean branch and the non-Archimedean branches [2001.01725].

Taken together, these works show that “Archimedean spectrum” is best treated as a contextual term. Depending on the framework, it may refer to asymptotic multiplicity growth in automorphic spectra, to an Archimedean energy spectrum glued from local $p$-adic data, or to the Bloch spectrum of a Euclidean tiling graph. The technical content resides not in the adjective alone but in the precise spectral datum to which it is attached.

Source: https://www.emergentmind.com/topics/archimedean-spectrum