---
title: Else–Nayak Index in Contact Mechanics and Quantum Lattices
url: https://www.emergentmind.com/topics/else-nayak-index
type: topic
---

# Else–Nayak Index in Contact Mechanics and Quantum Lattices

Searching arXiv for recent and relevant papers on “Else–Nayak index” and related terms.
The expression **Else–Nayak index** appears in distinct technical settings in the arXiv literature. In rough-surface characterization, it is used for the **Nayak parameter** \(\alpha\), the spectral-breadth invariant controlling elastic rough contact [1704.05650]. In quantum lattice systems, the more common term is the **Nayak–Else anomaly index**, a cohomological obstruction attached to symmetry actions by finite-depth circuits; in \(1\)d it takes values in \(H^3(G,U(1))\), and later work extends the construction to \(H^4(G,U(1))\) in \(2\)d and to \(H^{d+2}(B^{p+1}G,U(1))\) for higher-form symmetries [2505.04719] [2507.07430] [2509.12304]. The shared surname pair therefore labels unrelated invariants in contact mechanics and quantum many-body theory.

## 1. Terminological scope

Two usages dominate the literature cited here.

| Setting | Object | Characteristic form |
|---|---|---|
| Rough-surface characterization | Nayak parameter, also called spectral breadth or Else–Nayak index | \(\alpha=\dfrac{m_0m_4}{m_2^2}\) |
| \(1\)d quantum lattice systems | Nayak–Else anomaly index | \([\ell]\in H^3(G,U(1))\) |
| \(2\)d and higher-form generalizations | Higher anomaly index | \([\omega]\in H^4(G,U(1))\), or \(H^{d+2}(B^{p+1}G,U(1))\) |

In the rough-contact setting, the invariant is a scalar built from spectral moments of a self-affine surface and is used to organize the dependence of true contact area on roughness spectrum breadth [1704.05650]. In the quantum-lattice setting, the invariant is a cohomology class that measures the failure of a symmetry action to be promotable to a local or on-siteable action after restriction to subregions [2505.04719].

The distinction matters because several arXiv works involving the surname **Nayak** concern different notions of “index.” For example, one quantum-walk paper studies absorption probabilities \(P_N([0,1])\) and explicitly does **not** introduce a quantity called the Else–Nayak index [1008.0052]. The streaming-complexity papers focus on **Augmented Index**, not on the lattice anomaly or the roughness-breadth invariant [1004.3165] [1004.3304].

## 2. Rough-surface characterization: spectral breadth and self-affine geometry

In elastic contact mechanics, the Else–Nayak index is the **Nayak parameter** \(\alpha\), defined from the spectral moments of the surface power spectrum by
\[
\alpha=\frac{m_0m_4}{m_2^2}.
\]
For a discrete spectrum,
\[
m_{pq}=\left(\frac{2\pi}{L}\right)^{p+q}\sum_{i=0}^{N-1}\sum_{j=0}^{N-1} i^p j^q \,\Phi\!\left(\frac{2\pi i}{L},\frac{2\pi j}{L}\right),
\]
and the standard interpretations used are
\[
\langle (z-\langle z\rangle)^2\rangle=m_0,\qquad
\langle|\nabla z|^2\rangle=2m_2,\qquad
\langle (\nabla\cdot\nabla z-\langle\nabla\cdot\nabla z\rangle)^2\rangle=m_4.
\]
These relations place \(\alpha\) among the basic spectral descriptors of rough surfaces [1704.05650].

The contact problem is posed for **frictionless, non-adhesive normal contact between elastic half-spaces** whose interface is represented by **self-affine rough surfaces**. The rough surfaces are generated as periodic self-affine surfaces by filtering white noise in Fourier space, with prescribed power spectral density
\[
\langle \Phi(K)\rangle =
\begin{cases}
\Phi_0 (K/k_l)^{-2(1+H)}, & 1\le K/k_l \le \zeta,\\
0, & \text{otherwise},
\end{cases}
\qquad
\zeta=\frac{k_s}{k_l}=\frac{\lambda_l}{\lambda_s}.
\]
The Hurst exponent is linked to the fractal dimension in \(2\)d by
\[
H=3-D_f.
\]
Within this framework, the effective modulus is
\[
E^*=\frac{E_1E_2}{(1-\nu_1^2)E_2+(1-\nu_2^2)E_1},
\]
and the normalized nominal pressure is written
\[
p'=\frac{p_0}{E^*\sqrt{2m_2}}.
\]
The calculations reported use \(H=0.4\) and \(0.8\) and periodic grids up to \(2048\times 2048\) [1704.05650].

A central analytical bridge is the explicit expression of \(\alpha\) in terms of the Hurst exponent \(H\) and magnification \(\zeta\):
\[
\alpha(H,\zeta)= \frac{3}{2} \frac{(1-H)^2}{H(H-2)} \frac{(\zeta^{-2H}-1)(\zeta^{4-2H}-1)}{(\zeta^{2-2H}-1)^2}.
\]
This formula is the mechanism by which apparent “Hurst exponent effects” are reinterpreted as spectral-breadth effects. The cited work emphasizes that many earlier claims about Hurst-exponent dependence are often really Nayak-parameter effects, because changing \(H\) changes \(\alpha\) strongly when the magnification is large [1704.05650].

## 3. Contact-area evolution and friction in elastic rough contact

The rough-contact results are obtained numerically with a **spectral boundary element method** based on an FFT/Green’s-function formulation. At each pressure step the simulations measure the raw contact area \(A_{\rm sim}\) and the contact perimeter \(S\), and then apply a perimeter-based correction,
\[
A_* = A_{\rm sim} - \frac{\pi-1+\ln 2}{24}\,S\,\Delta x.
\]
This correction is described as crucial because it removes the systematic overestimation of contact area caused by finite grid resolution; the corrected area at \(\Delta x/\lambda_s=1/2\) can match the accuracy of a much finer mesh such as \(\Delta x/\lambda_s=1/32\) [1704.05650].

The principal empirical result is that, at fixed normalized pressure, the **true contact area decreases as the Nayak parameter increases**. More precisely,
\[
\frac{A'}{p'} = d(p') - c(p')\ln(\alpha-1.5),
\]
with fitted coefficients
\[
d(p')=2.35-2.85\,p',\qquad c(p')=0.057-0.24\,p'.
\]
Over the low-pressure range where the contact area is small to moderate, approximately \(1\%\) to \(15\%\), the contact-area evolution is well approximated by
\[
A'(p') = a'(\alpha)p' - b'(\alpha)p'^2,
\]
with
\[
a'(\alpha)=2.35-0.057\ln(\alpha-1.5),\qquad
b'(\alpha)=2.85-0.24\ln(\alpha-1.5).
\]
An equivalent slope form is also reported:
\[
\frac{dA'}{dp'}\approx a(\alpha)-2b(\alpha)p',
\]
where
\[
a(\alpha)=2.31-0.057\ln(\alpha-1.5),\qquad
b(\alpha)=2.17-0.20\ln(\alpha-1.5).
\]
The practical phenomenological law is therefore
\[
A'(p',m_2,\alpha)=a'(\alpha)p' - b'(\alpha)p'^2,\qquad
p'=\frac{p_0}{E^*\sqrt{2m_2}}.
\]
These formulas express the central role of the Else–Nayak index in partial elastic contact [1704.05650].

The numerical results are compared with three analytical descriptions: the asymptotic asperity-theory limit
\[
A' \sim \sqrt{2\pi}\,p',
\qquad
\lim_{A'\to 0}\frac{A'}{p'}=\sqrt{2\pi},
\]
Persson’s model
\[
A'_P = \operatorname{erf}(p'\sqrt{2}),
\qquad
\frac{dA'_P}{dp'}=\sqrt{\frac{8}{\pi}}e^{-2p'^2},
\]
and Greenwood’s simplified elliptic asperity model [1704.05650]. The cited study reports that asperity-based models capture the correct trend that larger \(\alpha\) gives smaller true contact area, but overstate the sensitivity to \(\alpha\), whereas Persson’s model does not depend on \(\alpha\) and systematically underestimates the contact area in the studied partial-contact regime [1704.05650].

The same phenomenological law is then used to deduce a pressure-dependent friction coefficient from adhesive friction theory:
\[
\mu(p_0)=\frac{A'(p_0)\sigma_t}{p_0},
\qquad
\mu(p')=\mu_0[1-\beta p'],
\]
with
\[
\mu_0=\frac{a'(\alpha)\sigma_t}{E^*\sqrt{2m_2}},
\qquad
\beta=\frac{b'(\alpha)}{a'(\alpha)}
=\frac{2.85-0.24\ln(\alpha-1.5)}{2.35-0.057\ln(\alpha-1.5)}.
\]
In this formulation, the load dependence of friction is directly linked to roughness spectral breadth [1704.05650].

## 4. The Nayak–Else anomaly index in one-dimensional quantum lattice systems

In \(1\)d quantum lattice systems, the Nayak–Else anomaly index arises from a symmetry action implemented by **QCAs** and, in the anomaly discussion, by **finite-depth circuits**. The geometric decomposition uses the left half-line \(L\), the right half-line \(R\), and the origin \(0\). A QCA localized on a half-line has vanishing GNVW index and is generated by a circuit localized there, जबकि a QCA localized at the origin is conjugation by a local unitary, unique up to a phase [2505.04719].

Given a group action by circuits,
\[
\rho_0 : G \to QCA^c_{\mathbb{R}},
\]
one truncates it to a half-line, producing
\[
\tilde\rho : G \to QCA_R.
\]
In general this is not a homomorphism. Its defect is
\[
\mu(g,h)=\tilde\rho(g)\tilde\rho(h)\tilde\rho(gh)^{-1},
\]
which is localized near the origin [2505.04719]. The central question is whether the action can be made **on-siteable**, meaning that the truncation can be modified by boundary-localized QCAs so that the symmetry becomes genuinely local on the half-line. The Nayak–Else index is the obstruction to doing this [2505.04719].

The construction proceeds in two stages. The first obstruction is the cohomology class of the **GNVW index** of \(\mu(g,h)\), namely \(ind(\mu(g,h))\), which defines a \(2\)-cocycle on \(G\) with values in \(\mathbb{R}_{>0}\). Only when this class vanishes does the refined obstruction appear. Assuming the GNVW obstruction vanishes, one can choose \(\tilde\rho\) so that
\[
\mu(g,h)\in QCA^c_{\partial}
\]
for all \(g,h\), and decompose
\[
\mu(g,h)=\alpha(g,h)\beta(g,h),
\qquad
\alpha(g,h)\in QCA_L,\ \beta(g,h)\in QCA_R.
\]
The failure of associativity of \(\beta\) is localized at the origin and encoded by a local unitary \(u(g,h,k)\in U(1)\) through
\[
{}_{u(g,h,k)} = \beta(g,h)\beta(gh,k)\beta(g,hk)^{-1}\,{}^{\tilde\rho(g)}\!\beta(h,k)^{-1}.
\]
From these data one obtains a \(U(1)\)-valued \(3\)-cocycle \(\ell\), and the Nayak–Else index is its cohomology class
\[
[\ell] \in H^3(G,U(1)).
\]
More concretely, the cited work states that the index is the pullback of the **Postnikov class** of the \(2\)-group of \(1\)d local symmetries along the induced homomorphism
\[
\rho: G \to \pi_1(\text{2-group}).
\]
This is the paper’s central reinterpretation of the index [2505.04719].

The higher-group structure is made explicit through the crossed module
\[
M=U(1),\qquad N=QCA_R,\qquad \partial:u\mapsto {}_u,
\]
with
\[
\pi_1 = QCA_R / QCA_0,\qquad \pi_2 = U(1).
\]
A local symmetry action should therefore be a **weak morphism of crossed modules**
\[
G \to (U(1)\to QCA_R),
\]
and the obstruction theory states that a lift exists iff the pullback of the Postnikov class vanishes in \(H^3(G,\ker\partial)\); when it exists, its equivalence classes form a torsor for \(H^2(G,\ker\partial)\) [2505.04719].

The same work connects the anomaly to SPT data. If a \(G\)-invariant short-range entangled state \(\omega\) exists, then the Nayak–Else index is trivial, because \(\omega\) supplies a canonical trivialization of the \(3\)-cocycle. For two different \(G\)-invariant SRE states, the difference of trivializations gives a class in \(H^2(G,U(1))\), the familiar relative SPT invariant [2505.04719].

## 5. Higher-dimensional and higher-form extensions

The \(1\)d Nayak–Else construction has been extended in two directions: to ordinary finite symmetry groups acting on \(2\)d lattices, and to higher-form symmetries on tensor-product Hilbert spaces.

For finite unitary symmetry groups \(G\) acting by FDQCs on a \(2\)d lattice system, the anomaly is characterized by a class
\[
[\omega]\in H^4(G,U(1)),
\]
together with an additional boundary-flow index
\[
[\nu]\in H^2(G,\mathbb Q_+)
\]
coming from the GNVW index of \(1\)d QCAs near the boundary [2507.07430]. The method begins by restricting \(U_g\) to a disk \(A\), forming
\[
{}_{g,h}\equiv U_g^A U_h^A (U_{gh}^A)^{-1},
\]
whose GNVW index defines
\[
\nu(g,h)\equiv \mathrm{Ind}({}_{g,h}).
\]
After canceling this boundary-flow obstruction with ancillas and a canonical QCA \(T_{g,h}\), one restricts further to an interval \(I\subset\partial A\), defines endpoint-supported operators \(\Gamma_{g,h,k}\), and finally extracts a phase \(4\)-cocycle \(\omega(g,h,k,l)\) satisfying the \(4\)-cocycle condition [2507.07430].

A nontrivial \([\omega]\in H^4(G,U(1))\) is an anomaly in the sense that it precludes the existence of a trivially gapped symmetric Hamiltonian and obstructs **onsiteability** of the symmetry action [2507.07430]. The paper also notes that \([\nu]\) can obstruct onsiteability without implying an anomalous low-energy boundary theory, whereas \([\omega]\) is the genuine anomaly index [2507.07430].

A parallel development formulates the \(2\)d anomaly directly as an obstruction to a higher-group lift. There a \(2\)d anomaly index in degree-\(4\) group cohomology is an obstruction to promoting a symmetry action to a morphism of \(3\)-groups, showing that ’t Hooft anomalies are a consequence of a mixing between ordinary symmetries and higher symmetries [2505.04719].

For higher-form symmetries, the lattice construction generalizes the original Else–Nayak procedure from \(0\)-form symmetry in \((1+1)\)d to \(p\)-form \(G\) symmetry in \((d+1)\) dimensions [2509.12304]. In the \(2+1\)d \(1\)-form case, finite-depth **Gauss law operators** \(W_p^{(g)}\) generate the symmetry, one restricts the resulting symmetry operator \(U(\epsilon)\) to a disk \(R\), and from the boundary defect obtains a \(4\)-cocycle
\[
[\omega]\in H^4(B^2G,U(1)).
\]
The same paper gives the general target group
\[
[A_{-1}] \in H^{d+2}(B^{p+1}G,U(1)).
\]
Its explicit \(\mathbb Z_2\) example yields
\[
A_{-1}=\frac12\, g_{012}g_{234},
\]
identified with
\[
\frac12\, g\cup g,
\]
representing the nontrivial class in \(H^4(B^2\mathbb Z_2,U(1))\) and matching the \(3+1\)d response action \(\pi i\int B\cup B\) [2509.12304].

These higher-dimensional constructions preserve the defining logic of the original \(1\)d anomaly index: restriction of symmetry operators to subregions introduces boundary defects, coherence of those defects produces cocycles, and the resulting cohomology class measures the obstruction to a fully local realization of symmetry [2505.04719] [2507.07430] [2509.12304].

## 6. Common confusions and non-equivalent “index” usages

Several papers associated with the surname **Nayak** study unrelated index-like quantities. This has generated a recurrent risk of terminological conflation.

In the finite Hadamard walk literature, the relevant quantity is the **absorption probability**
\[
P_N([0,1]),
\]
or more generally \(P_k(o)\), defined as the probability that the walker is absorbed at the left boundary \(0\) before reaching \(N\). The cited paper states explicitly that it does **not** introduce a quantity called the Else–Nayak index by that name; its central result is instead that the conjectured recursion
\[
P_{N+1}([0,1])=\frac{1+2P_N([0,1])}{2+2P_N([0,1])},\qquad P_1([0,1])=0,
\]
is false because the corrected computation gives
\[
P_3([0,1])=\frac25\neq \frac23
\]
[1008.0052].

In communication complexity and streaming theory, the central object is **Augmented Index**. One paper defines
\[
f_n(x,(k,x[1,k-1],b)) = x_k\, b,
\]
while another writes the variant
\[
\mathrm{AI}(x,k,c) := x_k \oplus c
\]
with Bob given a prefix of Alice’s string [1004.3165] [1004.3304]. These works derive information-cost tradeoffs and streaming lower bounds such as
\[
\Omega(\sqrt{n}/T)
\]
for unidirectional \(T\)-pass streaming recognition of well-parenthesized expressions [1004.3165], or
\[
ps=\Omega(\sqrt{N})
\]
for multi-pass streaming recognition of \(\mathrm{DYCK}(2)\) and related structures [1004.3304]. They concern neither the roughness spectral breadth \(\alpha\) nor the cohomological anomaly class \([\ell]\).

The most stable usages in the cited literature are therefore the contact-mechanics invariant \(\alpha\) and the lattice-anomaly classes \([\ell]\), \([\omega]\), and their higher-form analogues. In the first setting, the Else–Nayak index is a spectral-breadth control parameter for rough elastic contact [1704.05650]. In the second, the Nayak–Else index is an obstruction class for locality, on-siteability, and symmetry realization in quantum lattice systems [2505.04719] [2507.07430] [2509.12304].

Source: https://www.emergentmind.com/topics/else-nayak-index