---
title: Incommensurability Rank in Complex Systems
url: https://www.emergentmind.com/topics/incommensurability-rank
type: topic
---

# Incommensurability Rank in Complex Systems

Incommensurability rank is a field-dependent notion for quantifying a failure of common periodicity, common scale, or common convertibility. In the literature considered here, the term does not denote a single universal invariant. Instead, it appears as a rank-like descriptor of spatial modulation in cuprates, as the number of rationally independent periodicities in quasiperiodic moiré systems, and as a local logical rank generalizing classical incommensurability rank in model theory; the oxide stripe literature also uses threshold-based language that ranks materials by the critical doping at which incommensurate order appears [0911.1780], [2305.03800], [2111.02389], [1710.06773].

## 1. Scope and core meanings

The available literature suggests that “incommensurability rank” is best understood as a family of constructions rather than a single definition. In the chiral plaquette pairing framework for cuprates, the rank is the mean number of metallic plaquette sites between undoped regions. In a 1D quasiperiodic moiré model, the rank is the minimal number of rationally independent fundamental periodicities needed to generate the structure. In NSOP\(_1\) model theory, \(D_Q\) is presented as a local rank that generalizes the idea of incommensurability rank. In the dimensionality-reduction literature on the incommensurability phenomenon, the term is related to the effective number of dimensions in which separately chosen projection subspaces misalign [0911.1780], [2305.03800], [2111.02389], [1301.1954].

These uses share a common pattern: a rank records not merely that two structures are nonmatching, but how many independent obstructions, scales, or reversals are required to describe that nonmatching. This suggests a unifying editorial shorthand—*rank of nonalignment*—but the underlying objects, formulas, and operational meanings differ substantially by field.

## 2. Plaquette-based rank in cuprate STM phenomenology

In the chiral plaquette pairing account of cuprates, dopants induce four-site plaquettes in the CuO\(_2\) plane, the doped hole is delocalized over these four Cu sites, and plaquettes obey a no-overlap constraint. If \(x\) is the hole doping per Cu site, then the fraction of the lattice covered by doped plaquettes is \(4x\), the probability that a given plaquette is undoped is \(1-4x\), and the typical number of metallic sites between undoped islands is \(1/(1-4x)\). In this setting, the incommensurability “rank” is identified with that typical number, and the checkerboard wavelength obeys
\[
\lambda/a = \frac{2}{1-4x} + 1 .
\]
As \(x\) increases, \(1-4x\) decreases, so \(\lambda\) increases; the paper states that this matches the observed STM trend in Bi2201 and contrasts with simple Fermi-surface nesting arguments [0911.1780].

The same framework interprets the non-dispersing STM modulation as structural rather than electronic. The modulation is attributed to the spatial distribution of plaquettes and undoped \(d^9\) regions, not to quasiparticle interference or Fermi-surface nesting. Within that usage, rank is therefore a real-space counting quantity tied to plaquette percolation, the shrinking and isolation of undoped antiferromagnetic clusters, and the increase of modulation wavelength with doping. Its significance is not merely descriptive: the same plaquette-counting logic is presented as governing STM incommensurability, the onset and disappearance of superconductivity, and the magnetic resonance scale [0911.1780].

## 3. Threshold ranking in stripe-ordered oxides

In the stripe literature for lanthanum transition-metal oxides, the central observable is the stripe incommensurability \(\delta\), measured by peak splitting in neutron or X-ray scattering. Two functional forms are contrasted for cobaltates: a proportional dependence,
\[
\delta(x)=c\,x,
\]
and a square-root dependence,
\[
\delta(x)=C\sqrt{x-x_0},
\]
where \(x_0\) is the critical doping for destruction of antiferromagnetic order, with \(x_0^N \approx 0.25\) for cobaltates. In La\(_{2-x}\)Sr\(_x\)CoO\(_4\), the measured points at \(x=0.4\), \(0.45\), and \(0.5\) lie equally close to the linear and square-root predictions, while the unmeasured interval \(0.3<x<0.4\) is identified as decisive; for \(x \leq 0.3\), only commensurate AFM with \(\delta=0\) is observed, which the paper states supports the thresholded square-root picture [1710.06773].

The same source states that, if square-root behavior is universal, materials may be ranked by the threshold \(x_0^N\): cuprate \(x_0^N \sim 0.02\), nickelate \(x_0^N \sim 0.11\), and cobaltate \(x_0^N \sim 0.25\). This is a different use of rank from the plaquette count above. Here rank refers to a phase-diagram ordering by the onset of incommensurate stripes and by the breakdown of 3D-AFM order [1710.06773].

A related nickelate analysis gives an explicit thresholded formula for static stripe incommensurability in La\(_{2-x}\)Sr\(_x\)NiO\(_{4+y}\):
\[
\delta(n_h)=\frac{\sqrt{2}}{2}\sqrt{n_h-n_h^0}, \qquad n_h=x+2y, \qquad n_h^0 \approx \frac{1}{9}.
\]
That paper interprets \(n_h^0\) as the critical hole density at which stripes begin to emerge and ties stripe stability to the separation of hole charges at every \(\nu^{\mathrm{th}}\) node of the associated magnetization waves, with
\[
\nu^{\pm}(\delta)=\frac{1\pm\delta}{\delta}.
\]
Taken together, these papers support a threshold-based notion of ranking in which the emergence and stability of incommensurate order are organized by a material-dependent onset parameter rather than by a universal linear law [1709.04112].

## 4. Rank as the number of rationally independent periodicities

In 1D narrow-band moiré systems, the term has a more formal quasiperiodic meaning. The hopping is modulated as
\[
t_j = -1 - V_2 \cos\big[2\pi \tau (j + 1/2) + \phi\big],
\]
and when \(\tau\) is irrational the modulation is incommensurate with the lattice and never repeats. A quasiperiodic function is written as
\[
f(x) = \sum_j A_j \cos\left(2\pi \lambda_j x + \phi_j\right),
\]
with the set \(\{\lambda_j\}\) rationally independent of each other and of the lattice basis. The incommensurability rank is then defined as the number of independent irrational numbers necessary to generate all the fundamental frequencies in the system. In the specific model studied, there is one incommensurate modulation \(\tau\), so the rank is \(2\): the lattice periodicity and the modulation periodicity [2305.03800].

This definition has direct consequences for ordered phases. For commensurate systems with period \(p\), there are \(p\) inequivalent contributing wave vectors. For the incommensurate system, the number of contributing wave vectors increases linearly with \(N\), and they are given by
\[
\kappa_k^i = \pi + 2\pi\tau k, \qquad k=0,\pm1,\pm2,\ldots .
\]
As \(\tau\) is irrational, these \(\kappa_k^i\) are all distinct mod \(2\pi\), and in the limit \(N\to\infty\) they fill the Brillouin zone densely. The paper further states that in the quasi-fractal ordered regime the inverse participation ratio in momentum space scales as \(\mathrm{IPR}_\kappa \sim N^{-\alpha}\) with \(0<\alpha<1\), indicating proliferation of wave vectors, and that only the incommensurate case extends the ordered phase down to infinitesimal interaction strength [2305.03800].

In this usage, rank is an intrinsic descriptor of quasiperiodic complexity. Higher rank means that more independent wave vectors are needed to characterize the order, and the distinction between rank \(1\) and rank \(\ge 2\) separates ordinary periodic charge-density waves from quasi-fractal order with infinitely many contributing Fourier components.

## 5. Generalization to local ranks in model theory

In model theory, the paper “On rank not only in NSOP1 theories” introduces a family of local ranks \(D_Q\), where \(Q\) is a finite set of pairs \((\varphi(x,y),q(y))\) with \(\varphi(x,y)\) a formula and \(q(y)\) a global type. The authors state that this notion generalizes the idea of incommensurability rank by refining it to track Kim-dividing along prescribed paths via pairs of formulas and global types. For NSOP\(_1\) theories, \(D_Q(x=x)<\omega\) for any finite variable \(x\) and any \(Q\). If \(q\supseteq p\) is a Kim-forking extension of types, then \(D_Q(q)<D_Q(p)\) for some \(Q\); if \(q\supseteq p\) is a Kim-non-forking extension, then \(D_Q(q)=D_Q(p)\) for every suitable \(Q\) involving invariant types whose Morley powers are \(\ind^K\)-stationary [2111.02389].

The same paper gives broader bounds through a modified rank \(\widetilde{D}_Q\), showing
\[
\widetilde{D}_Q(\pi(x)) \leq \operatorname{burden}(\pi(x)) = \operatorname{inp\text{-}rk}(\pi(x)) \leq \operatorname{dp\text{-}rk}(\pi(x)).
\]
Thus finite dp-rank or finite burden implies finiteness of the modified local rank. The paper also records examples: \(D_Q(x=x)\leq 1\) in many choices of \(Q\) for dense linear orders, \(D_Q(x=x)=k-1\) for suitable \(Q\) in finite-dimensional vector spaces with a generic nondegenerate bilinear form, and infinite modified rank in theories with the antichain tree property [2111.02389].

Here rank is neither geometric wavelength nor doping threshold. It is a local complexity measure for dividing patterns, calibrated to Kim-dividing and to the independence calculus of NSOP\(_1\), NTP\(_2\), and NIP settings.

## 6. Related notions, neighboring terminology, and limits of the term

A neighboring statistical usage arises in the study of the incommensurability phenomenon for separately reduced high-dimensional data sets. There, the relevant objects are the squared Procrustean fitting-error,
\[
\epsilon^2(\mathcal{X}^{(n)},\mathcal{Y}^{(n)}),
\]
the Hausdorff distance between projection subspaces,
\[
d^2(\mathcal{A},\mathcal{B})=\sum_{i=1}^k 2(1-\cos\theta_i),
\]
and its weighted analogue \(\eth^2(\mathcal{A},\mathcal{B})\). The main theorem states that asymptotically
\[
\epsilon^2(\mathcal{X}^{(n)}, \mathcal{Y}^{(n)}) \to (1-\rho)\,2k + \rho\,\eth^2(\mathcal{A}^{(n)},\mathcal{B}^{(n)}).
\]
Within that discussion, “incommensurability rank” is related to the effective number of dimensions in which the projections misalign, reflected in the sum of principal-angle contributions entering \(d^2\) or \(\eth^2\) [1301.1954].

A separate but distinct neighboring notion appears in quantum information theory under the name *inversion rank*. For incomparable spectra \(r\) and \(s\), one defines \(\Delta_j=A_j(r)-A_j(s)\), ignores intermediate equalities, and counts the indices at which the sign of \(\Delta_j\) reverses; the total number of such sign changes is the inversion rank \(n_{\mathcal I}(r,s)\). The paper states that if \(n_{\mathcal I}(r,s)\) is odd, then the spectra are strongly incomparable, \(r \nsim_T s\) [1803.10408]. This is not presented as incommensurability rank, but it is a closely related rank-of-obstruction construction.

The literature therefore supports a narrow but important caution: incommensurability rank is not a cross-disciplinary scalar with a fixed formula. It may denote a plaquette-counting length scale, a threshold ordering of stripe-forming materials, a quasiperiodic basis count, a local Kim-dividing rank, or an effective dimensional measure of misalignment. What these usages share is the attempt to convert noncommensurate structure into an ordered, rank-like descriptor of complexity, onset, or obstruction.

Source: https://www.emergentmind.com/topics/incommensurability-rank