Else–Nayak Index in Contact Mechanics and Quantum Lattices

Updated 6 July 2026

The Else–Nayak index is a dual-context invariant: as the Nayak parameter, it defines spectral breadth in self-affine rough surfaces, and in quantum lattices, it measures cohomological obstructions to local symmetry actions.
In contact mechanics, the index is computed from spectral moments of the surface power spectrum, linking roughness parameters with true contact area and friction behavior.
In quantum systems, the index emerges via finite-depth circuits and QCAs, generalizing to higher dimensions through group cohomology classes that capture anomaly obstructions.

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 (Yastrebov et al., 2017). 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 (Kapustin, 7 May 2025, Kawagoe et al., 10 Jul 2025, Feng et al., 15 Sep 2025). 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	$1$0, or $1$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 (Yastrebov et al., 2017). 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 (Kapustin, 7 May 2025).

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 $1$2 and explicitly does not introduce a quantity called the Else–Nayak index (Ampadu, 2010). The streaming-complexity papers focus on Augmented Index, not on the lattice anomaly or the roughness-breadth invariant (Jain et al., 2010, Chakrabarti et al., 2010).

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

In elastic contact mechanics, the Else–Nayak index is the Nayak parameter $1$3, defined from the spectral moments of the surface power spectrum by

$1$4

For a discrete spectrum,

$1$5

and the standard interpretations used are

$1$6

These relations place $1$7 among the basic spectral descriptors of rough surfaces (Yastrebov et al., 2017).

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

$1$8

The Hurst exponent is linked to the fractal dimension in $1$9d by

$H^3(G,U(1))$ 0

Within this framework, the effective modulus is

$H^3(G,U(1))$ 1

and the normalized nominal pressure is written

$H^3(G,U(1))$ 2

The calculations reported use $H^3(G,U(1))$ 3 and $H^3(G,U(1))$ 4 and periodic grids up to $H^3(G,U(1))$ 5 (Yastrebov et al., 2017).

A central analytical bridge is the explicit expression of $H^3(G,U(1))$ 6 in terms of the Hurst exponent $H^3(G,U(1))$ 7 and magnification $H^3(G,U(1))$ 8: $H^3(G,U(1))$ 9 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^4(G,U(1))$ 0 changes $H^4(G,U(1))$ 1 strongly when the magnification is large (Yastrebov et al., 2017).

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 $H^4(G,U(1))$ 2 and the contact perimeter $H^4(G,U(1))$ 3, and then apply a perimeter-based correction,

$H^4(G,U(1))$ 4

This correction is described as crucial because it removes the systematic overestimation of contact area caused by finite grid resolution; the corrected area at $H^4(G,U(1))$ 5 can match the accuracy of a much finer mesh such as $H^4(G,U(1))$ 6 (Yastrebov et al., 2017).

The principal empirical result is that, at fixed normalized pressure, the true contact area decreases as the Nayak parameter increases. More precisely,

$H^4(G,U(1))$ 7

with fitted coefficients

$H^4(G,U(1))$ 8

Over the low-pressure range where the contact area is small to moderate, approximately $H^4(G,U(1))$ 9 to $2$0, the contact-area evolution is well approximated by

$2$1

with

$2$2

An equivalent slope form is also reported: $2$3 where

$2$4

The practical phenomenological law is therefore

$2$5

These formulas express the central role of the Else–Nayak index in partial elastic contact (Yastrebov et al., 2017).

The numerical results are compared with three analytical descriptions: the asymptotic asperity-theory limit

$2$6

Persson’s model

$2$7

and Greenwood’s simplified elliptic asperity model (Yastrebov et al., 2017). The cited study reports that asperity-based models capture the correct trend that larger $2$8 gives smaller true contact area, but overstate the sensitivity to $2$9, whereas Persson’s model does not depend on $H^{d+2}(B^{p+1}G,U(1))$ 0 and systematically underestimates the contact area in the studied partial-contact regime (Yastrebov et al., 2017).

The same phenomenological law is then used to deduce a pressure-dependent friction coefficient from adhesive friction theory: $H^{d+2}(B^{p+1}G,U(1))$ 1 with

$H^{d+2}(B^{p+1}G,U(1))$ 2

In this formulation, the load dependence of friction is directly linked to roughness spectral breadth (Yastrebov et al., 2017).

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

In $H^{d+2}(B^{p+1}G,U(1))$ 3d 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 $H^{d+2}(B^{p+1}G,U(1))$ 4, the right half-line $H^{d+2}(B^{p+1}G,U(1))$ 5, and the origin $H^{d+2}(B^{p+1}G,U(1))$ 6. 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 (Kapustin, 7 May 2025).

Given a group action by circuits,

$H^{d+2}(B^{p+1}G,U(1))$ 7

one truncates it to a half-line, producing

$H^{d+2}(B^{p+1}G,U(1))$ 8

In general this is not a homomorphism. Its defect is

$H^{d+2}(B^{p+1}G,U(1))$ 9

which is localized near the origin (Kapustin, 7 May 2025). 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 (Kapustin, 7 May 2025).

The construction proceeds in two stages. The first obstruction is the cohomology class of the GNVW index of $\alpha=\dfrac{m_0m_4}{m_2^2}$ 0, namely $\alpha=\dfrac{m_0m_4}{m_2^2}$ 1, which defines a $\alpha=\dfrac{m_0m_4}{m_2^2}$ 2-cocycle on $\alpha=\dfrac{m_0m_4}{m_2^2}$ 3 with values in $\alpha=\dfrac{m_0m_4}{m_2^2}$ 4. Only when this class vanishes does the refined obstruction appear. Assuming the GNVW obstruction vanishes, one can choose $\alpha=\dfrac{m_0m_4}{m_2^2}$ 5 so that

$\alpha=\dfrac{m_0m_4}{m_2^2}$ 6

for all $\alpha=\dfrac{m_0m_4}{m_2^2}$ 7, and decompose

$\alpha=\dfrac{m_0m_4}{m_2^2}$ 8

The failure of associativity of $\alpha=\dfrac{m_0m_4}{m_2^2}$ 9 is localized at the origin and encoded by a local unitary $1$0 through

$1$1

From these data one obtains a $1$2-valued $1$3-cocycle $1$4, and the Nayak–Else index is its cohomology class

$1$5

More concretely, the cited work states that the index is the pullback of the Postnikov class of the $1$6-group of $1$7d local symmetries along the induced homomorphism

$1$8

This is the paper’s central reinterpretation of the index (Kapustin, 7 May 2025).

The higher-group structure is made explicit through the crossed module

$1$9

with

$[\ell]\in H^3(G,U(1))$ 0

A local symmetry action should therefore be a weak morphism of crossed modules

$[\ell]\in H^3(G,U(1))$ 1

and the obstruction theory states that a lift exists iff the pullback of the Postnikov class vanishes in $[\ell]\in H^3(G,U(1))$ 2; when it exists, its equivalence classes form a torsor for $[\ell]\in H^3(G,U(1))$ 3 (Kapustin, 7 May 2025).

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

5. Higher-dimensional and higher-form extensions

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

For finite unitary symmetry groups $2$2 acting by FDQCs on a $2$3d lattice system, the anomaly is characterized by a class

$2$4

together with an additional boundary-flow index

$2$5

coming from the GNVW index of $2$6d QCAs near the boundary (Kawagoe et al., 10 Jul 2025). The method begins by restricting $2$7 to a disk $2$8, forming

$2$9

whose GNVW index defines

$1$00

After canceling this boundary-flow obstruction with ancillas and a canonical QCA $1$01, one restricts further to an interval $1$02, defines endpoint-supported operators $1$03, and finally extracts a phase $1$04-cocycle $1$05 satisfying the $1$06-cocycle condition (Kawagoe et al., 10 Jul 2025).

A nontrivial $1$07 is an anomaly in the sense that it precludes the existence of a trivially gapped symmetric Hamiltonian and obstructs onsiteability of the symmetry action (Kawagoe et al., 10 Jul 2025). The paper also notes that $1$08 can obstruct onsiteability without implying an anomalous low-energy boundary theory, whereas $1$09 is the genuine anomaly index (Kawagoe et al., 10 Jul 2025).

A parallel development formulates the $1$10d anomaly directly as an obstruction to a higher-group lift. There a $1$11d anomaly index in degree-$1$12 group cohomology is an obstruction to promoting a symmetry action to a morphism of $1$13-groups, showing that ’t Hooft anomalies are a consequence of a mixing between ordinary symmetries and higher symmetries (Kapustin, 7 May 2025).

For higher-form symmetries, the lattice construction generalizes the original Else–Nayak procedure from $1$14-form symmetry in $1$15d to $1$16-form $1$17 symmetry in $1$18 dimensions (Feng et al., 15 Sep 2025). In the $1$19d $1$20-form case, finite-depth Gauss law operators $1$21 generate the symmetry, one restricts the resulting symmetry operator $1$22 to a disk $1$23, and from the boundary defect obtains a $1$24-cocycle

$1$25

The same paper gives the general target group

$1$26

Its explicit $1$27 example yields

$1$28

identified with

$1$29

representing the nontrivial class in $1$30 and matching the $1$31d response action $1$32 (Feng et al., 15 Sep 2025).

These higher-dimensional constructions preserve the defining logic of the original $1$33d 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 (Kapustin, 7 May 2025, Kawagoe et al., 10 Jul 2025, Feng et al., 15 Sep 2025).

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

$1$34

or more generally $1$35, defined as the probability that the walker is absorbed at the left boundary $1$36 before reaching $1$37. 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

$1$38

is false because the corrected computation gives

$1$39

(Ampadu, 2010).

In communication complexity and streaming theory, the central object is Augmented Index. One paper defines

$1$40

while another writes the variant

$1$41

with Bob given a prefix of Alice’s string (Jain et al., 2010, Chakrabarti et al., 2010). These works derive information-cost tradeoffs and streaming lower bounds such as

$1$42

for unidirectional $1$43-pass streaming recognition of well-parenthesized expressions (Jain et al., 2010), or

$1$44

for multi-pass streaming recognition of $1$45 and related structures (Chakrabarti et al., 2010). They concern neither the roughness spectral breadth $1$46 nor the cohomological anomaly class $1$47.

The most stable usages in the cited literature are therefore the contact-mechanics invariant $1$48 and the lattice-anomaly classes $1$49, $1$50, and their higher-form analogues. In the first setting, the Else–Nayak index is a spectral-breadth control parameter for rough elastic contact (Yastrebov et al., 2017). In the second, the Nayak–Else index is an obstruction class for locality, on-siteability, and symmetry realization in quantum lattice systems (Kapustin, 7 May 2025, Kawagoe et al., 10 Jul 2025, Feng et al., 15 Sep 2025).