---
title: Almost Interlacing in Spectral Theory
url: https://www.emergentmind.com/topics/almost-interlacing
type: topic
---

# Almost Interlacing in Spectral Theory

Searching arXiv for papers on “almost interlacing” and related interlacing formulations.
I’ll look for recent and foundational arXiv papers that explicitly discuss interlacing, weak interlacing, or “almost interlacing.”
Almost interlacing denotes a family of weaker-than-complete interlacing phenomena in which two ordered spectra or zero sets remain highly constrained, but the classical alternating chain is replaced by monotonicity, boundary-only interlacing, non-strict inequalities, or completion by one or two additional points. The phrase is not uniform across the literature: in some papers it is only an intuitive description, while in others it names a precise defect of full interlacing. Across matrix theory, reversible Markov dynamics, orthogonal and \(q\)-orthogonal polynomials, combinatorial transforms, and modular forms, the recurring mechanism is that positivity, sign-regularity, reversibility, or mixed recurrences impose enough structure to force near-alternation without always giving the full Cauchy or Sturm pattern [1212.1387] [1802.10049] [2604.25692].

## 1. Terminological scope

The literature does not use a single formal definition of almost interlacing. In the matrix-theoretic study of Kotelyansky classes, the term is not formal, but the relevant results concern eigenvalue relations that are weaker than full Cauchy interlacing and still very strong: monotonicity of the smallest real eigenvalues across principal submatrices and strict interlacing only for boundary deletions [1212.1387]. In reversible Markov dynamics, the distinction is explicit: strict interlacing means \(\lambda_{k-1}<\mu_k<\lambda_k\), whereas the “slightly weaker interlacing condition” is \(\lambda_{k-1}\le \mu_k\le \lambda_k\), with possible equalities caused by degeneracies or vanishing local spectral weights at the target [1802.10049].

For \(q\)-hypergeometric polynomials, the phrase is encoded geometrically rather than spectrally. The logarithmic mesh \(\delta_{\log}\) measures how closely zeros follow a geometric \(q\)-lattice, and weak interlacing appears as membership in the closed class \(\overline{P_n^q}\), equivalently \(p(x)\preccurlyeq p(qx)\), rather than the strict class \(P_n^q\) with \(p(x)\prec p(qx)\) [2506.05492]. In mixed-recurrence theories for orthogonal polynomials, almost interlacing means that two zero sets fail to interlace by one or two points, and that multiplication by \((x-E)\) or \((x-E_1)(x-E_2)\) restores complete interlacing [2604.03680] [2604.25692]. In the modular-forms setting, the phrase has an asymptotic and geometric meaning: zeros interlace for almost all members of a canonical basis and on most of the lower boundary arc, namely on a truncated arc \(A_\varepsilon\) rather than the full boundary [1308.1123].

A plausible implication is that almost interlacing is best understood as a regime of near-rigidity rather than as a single invariant. What remains stable from paper to paper is not a fixed definition, but a structural pattern: sign control localizes zeros or eigenvalues to prescribed gaps, while some obstruction prevents a completely alternating chain.

## 2. Weak spectral interlacing in matrix theory

A central matrix-theoretic realization of almost interlacing arises from T-matrices and Kotelyansky classes. For an \(n\times n\) real matrix \(A\), the quantity
\[
l(A):=\min\{\lambda\in \sigma(A)\cap\mathbb{R}\}
\]
is the minimal real eigenvalue, with \(l(A)=+\infty\) if \(A\) has no real eigenvalues. A T-matrix is defined by positivity of these minimal real eigenvalues on principal submatrices together with eigenvalue monotonicity:
\[
l(A(\alpha))\le l(A(\beta)) \quad \text{for } \beta\subset \alpha.
\]
A strict T-matrix, or \(T_<\)-matrix, satisfies strict inequalities whenever \(\beta\subsetneq \alpha\) [1212.1387].

The relevant matrix classes are built from minors. A Kotelyansky matrix has all principal minors positive and all almost principal minors nonnegative; a strictly Kotelyansky matrix has all principal and all almost principal minors strictly positive. Almost principal minors are obtained from a principal minor by deleting one row and one different column. Their positivity feeds directly into positivity of compound matrices and exterior powers, which is the key to the spectral arguments [1212.1387].

For an \(n\times n\) SK matrix \(A\), if \(A_k\) is the principal submatrix obtained by deleting the \(k\)-th row and column, Theorem 4 gives the extremal inequalities
\[
|\lambda_1(A)|>|\mu_1^{(k)}|,\qquad |\mu_{n-1}^{(k)}|>|\lambda_n(A)|.
\]
Theorem 5 then shows that every SK matrix is a \(T_<\)-matrix. This is one-sided interlacing: as principal submatrices become smaller, the smallest real eigenvalue strictly increases. It is strong spectral ordering, but not full alternating interlacing for every eigenvalue and every deletion [1212.1387].

The same paper proves a sharper boundary theorem. If \(A\) is an SK-matrix with positive simple eigenvalues
\[
\lambda_1(A)>\lambda_2(A)>\cdots>\lambda_n(A)>0,
\]
and \(A^{(r)}\) is the principal submatrix obtained by deleting row \(r\) and column \(r\), then for \(r=1\) or \(r=n\),
\[
\lambda_j(A)>\mu_j^{(r)}>\lambda_{j+1}(A),\qquad j=1,\dots,n-1.
\]
Thus full strict interlacing survives along the first or last row/column, whereas for interior deletions such a global chain can fail even for totally positive matrices. This boundary-only phenomenon is one of the clearest matrix manifestations of almost interlacing [1212.1387].

The weak interlacing mechanism extends beyond pure positivity. Strictly totally J-sign-symmetric matrices and strictly J-sign-symmetric Kotelyansky matrices satisfy the same extremal inequalities and are also \(T_<\)-matrices. The paper does not claim full Cauchy-style interlacing for arbitrary principal submatrices in these generalized classes; the preserved structure is again monotonicity of minimal eigenvalues and control of spectral extremes, not a complete alternating pattern [1212.1387].

## 3. Relaxation and first-passage spectra in reversible Markov dynamics

In reversible Markovian dynamics, almost interlacing appears as a duality between the relaxation spectrum and the first-passage spectrum. For a finite reversible Markov jump process with generator \(L\), the relaxation eigenvalues are ordered
\[
0=\lambda_0<\lambda_1\le \lambda_2\le \dots,
\]
while after making a state \(a\) absorbing, the absorbing generator \(L_a\) has eigenvalues
\[
0=\mu_0<\mu_1\le \mu_2\le \dots.
\]
The first-passage density admits the spectral expansion
\[
\wp_a(t|x_0)=\sum_{k\ge 1} w_k(x_0)\,\mu_k e^{-\mu_k t},
\]
with \(\sum_{k\ge 1}w_k(x_0)=1\) and \(w_1(x_0)>0\) [1802.10049].

The key structural fact is that the first-passage poles are encoded as zeros of the diagonal resolvent. In Laplace space,
\[
\tilde{\wp}_a(s|x_0)=\frac{\tilde P(a,s|x_0)}{\tilde P(a,s|a)},
\]
so the poles of \(\tilde{\wp}_a\) at \(-\mu_k\) are zeros of \(\tilde P(a,s|a)\), whereas the poles of \(\tilde P(a,s|a)\) itself are the relaxation eigenvalues \(-\lambda_k\). This immediately sets up an alternation of poles and zeros on the real axis [1802.10049].

For reversible finite chains, the paper proves the non-strict interlacing inequality
\[
\lambda_{k-1}\le \mu_k\le \lambda_k,\qquad k=1,\dots,M.
\]
If all relaxation eigenvalues are non-degenerate and all eigenfunctions are non-vanishing at the target, the inequalities sharpen to
\[
\lambda_{k-1}<\mu_k<\lambda_k.
\]
Strict interlacing is guaranteed for one-dimensional birth–death chains with the absorbing state at an outer boundary. In more general graphs, internal targets, or fine-tuned systems, equalities may occur, producing interlacing-with-possible-touching rather than strict alternation. This is the paper’s precise sense of almost interlacing [1802.10049].

The same structure persists for effectively one-dimensional diffusions. With reflecting boundaries for relaxation and a Dirichlet condition at the absorbing point, the diagonal resolvent factorizes as
\[
\tilde P(a,s|a)=\frac{P_{\rm eq}(a)}{s}\prod_{k=1}^\infty \frac{1+s/\mu_k}{1+s/\lambda_k},
\]
so the first-passage zeros and relaxation poles interlace exactly as in a Sturm–Liouville problem. When geometry ceases to be effectively one-dimensional, or when modes vanish at the absorbing set, strict inequalities can collapse to equalities [1802.10049].

The interlacing is computationally productive. The paper constructs \(\mu_k\) from relaxation data by a Newton series whose coefficients are organized by almost triangular matrices, and applies the method to an Ornstein–Uhlenbeck process and to an 8-state protein-folding model. A plausible implication is that almost interlacing here is not merely descriptive; it is the analytic device that makes full first-passage reconstruction possible from relaxation eigendata [1802.10049].

## 4. Geometric zero spacing and \(q\)-orthogonal polynomials

For little \(q\)-Jacobi polynomials, almost interlacing is formalized through the logarithmic mesh. With \(q\in(0,1)\), the polynomials
\[
p_n(x;a,b\mid q)={}_2\phi_1\!\left(\begin{matrix}q^{-n},\,abq^{n+1}\\ aq\end{matrix};q,\,qx\right)
\]
are orthogonal on \(\{q^k:k\ge 0\}\subset(0,1)\) when \(0<aq<1\) and \(qb<1\). In that regime all zeros are real, simple, and lie in \((0,1)\), and each lattice interval \((q^k,q^{k-1})\) contains at most one zero [2506.05492].

For a polynomial \(p\) with positive zeros \(0<\lambda_1(p)\le \cdots \le \lambda_n(p)\), the logarithmic mesh is
\[
\delta_{\log}(p):=\max_{1\le j\le n-1}\frac{\lambda_j(p)}{\lambda_{j+1}(p)}.
\]
This quantity measures how close the zero set is to a geometric progression. The decisive characterization is
\[
p\in P_n^q(\mathbb{R}_{>0})\quad\Longleftrightarrow\quad p(x)\prec p(qx),
\]
and similarly \(\delta_{\log}(p)\le q\) is equivalent to weak interlacing \(p(x)\preccurlyeq p(qx)\). In this framework, almost interlacing is the closed or limiting situation in which the geometric alternation is non-strict or only attained in closure [2506.05492].

The main structural theorem states that for \(0<aq<1\) and \(bq<1\),
\[
p_n(x;a,b)\in P_n^q((0,1)),
\]
so
\[
\delta_{\log}(p_n(\cdot;a,b))<q,\qquad p_n(x;a,b)\prec p_n(qx;a,b).
\]
The same theorem yields interlacing with the \(q\)-derivative through
\[
d_q p_n(x;a,b)=q\,\frac{(1-q^{-n})(1-abq^{n+1})}{(1-q)(1-aq)}\,p_{n-1}(x;qa,qb),
\]
hence
\[
p_n(x;a,b)\prec p_{n-1}(x;qa,qb).
\]
Further strict interlacing holds under parameter transforms such as
\[
p_n(x;a,q^2b)\prec p_n(x;q^2a,b),
\]
and, for \(b<0\),
\[
p_n(x;a,b)\prec p_n(x;a,q^2b).
\]
These are strong interlacing statements rather than almost ones [2506.05492].

Almost interlacing enters through closure, degeneration, and loss of orthogonality. Limit families such as Stieltjes–Wigert inherit only the closed mesh bound \(\overline{P_n^{q^2}}\), while non-orthogonal specializations such as \(b=q^{-k}\) yield factorizations
\[
p_n(x;a,q^{-k})=E_k(qx)\,p_{n-k}(q^{-k}x;a,q^k)
\]
with \(E_k(x)=\prod_{j=1}^k(1-q^{-j}x)\). The zero set then decomposes into an exact geometric block and a smaller orthogonal family, so the full polynomial remains in \(\overline{P_n^q}((0,1))\). This is almost interlacing in a precise geometric sense: the zeros are still organized by the \(q\)-lattice, but the strongest strict inequalities may only survive in the reduced factor or in the limit family [2506.05492].

## 5. Completion by one or two added points

A different theory treats almost interlacing as an incomplete alternating pattern that can be repaired by adding auxiliary zeros. In the one-point version, the basic object is a mixed recurrence with a linear factor,
\[
A(x)\mathcal P_n(x)=B(x)\mathcal G_j(x)\pm (x-E)\mathcal Q_k(x),
\]
where \(\mathcal G_j\) and \(\mathcal Q_k\) already interlace and \(A(x)>0\) on the relevant interval. The extra point \(E\) is then appended to the zero set of \(\mathcal P_n\) through \((x-E)\mathcal P_n\), and the resulting \(n+1\) zeros fully interlace with those of \(\mathcal G_j\) [2604.03680].

The paper “Separating zeros of polynomials using an added interlacing point” proves several general theorems of this type. In the case
\[
A(x)\mathcal P_n(x)=B(x)\mathcal G_{n+1}(x)+(x-E)\mathcal Q_{n+1}(x),
\]
if \(\mathcal Q_{n+1}\prec \mathcal G_{n+1}\), then \((x-E)\mathcal P_n\prec \mathcal G_{n+1}\); if instead \(\mathcal G_{n+1}\prec \mathcal Q_{n+1}\), then \(\mathcal G_{n+1}\prec (x-E)\mathcal P_n\). Moreover, when \(E\) lies outside the extreme zeros of \(\mathcal G_{n+1}\), full interlacing of \(\mathcal P_n\) with \(\mathcal G_{n+1}\) is recovered. A second theorem gives \((x-E)\mathcal P_n\prec \mathcal G_n\) when \(\mathcal G_n\prec \mathcal Q_{n-1}\), again with full \(\mathcal P_n\)–\(\mathcal G_n\) interlacing once \(E\) moves past the leftmost or rightmost zero. Theorem 2.3 is explicitly partial: at least \(n-2\) zeros of \(\mathcal P_n\) occupy distinct gaps between consecutive zeros of \(\mathcal G_n\), and the remaining two are classified by the position of \(E\). This is an exact formulation of one-point almost interlacing [2604.03680].

The same framework yields explicit completion points for Krawtchouk, Meixner, Narayana, Jacobi, and Laguerre polynomials. For example, the Jacobi parameter shift produces the extra point
\[
E_{n,\alpha,\beta}=\frac{\alpha-\beta}{2n+\alpha+\beta+2},
\]
and the Laguerre shift produces \(E=n+1\). In each case the position of \(E\) determines whether full interlacing of the original pair holds or whether only the completed object \((x-E)\mathcal P_n\) interlaces [2604.03680].

The two-point theory extends this mechanism to pairs that fail to interlace by exactly two points. The mixed recurrence now has quadratic correction,
\[
A(x)\mathcal P_n(x)=B(x)\mathcal G_{n+1}(x)\mp (x-E_1)(x-E_2)\mathcal Q_n(x),
\]
with \(\mathcal G_{n+1}\prec \mathcal Q_n\). The main theorem shows that
\[
(x-E_1)(x-E_2)\mathcal P_n(x)\prec \mathcal G_{n+1}(x)
\]
in the minus-sign case, and classifies the permitted locations of \(E_1,E_2\) in the plus-sign case. If \(E_1\) lies to the left of the smallest zero of \(\mathcal G_{n+1}\) and \(E_2\) to the right of the largest, then full interlacing of \(\mathcal G_{n+1}\) with \(\mathcal P_n\) follows [2604.25692].

This quadratic completion improves earlier partial results for Jacobi polynomials and resolves an open question for Meixner–Pollaczek polynomials. In the Jacobi case, the two explicit added points arise as the roots of a quadratic obtained by eliminating an intermediate term from a mixed recurrence. The same pattern appears for Pseudo-Jacobi polynomials. The conceptual content is uniform: almost interlacing means that a complete alternation exists after inserting precisely those auxiliary points encoded by the mixed recurrence [2604.25692].

## 6. Algebraic and combinatorial frameworks

Interlacing also appears as an exact preservation property under algebraic transforms. For a formal power series \(f(x)\), the Veronese decomposition
\[
f(x)=f^{\langle r,0\rangle}(x^r)+x f^{\langle r,1\rangle}(x^r)+\cdots+x^{r-1} f^{\langle r,r-1\rangle}(x^r)
\]
collects coefficients by congruence classes modulo \(r\). Zhang defines
\[
U_{r,k}^n h(x)=\big((1+x+\cdots+x^{r-1})^n h(x)\big)^{\langle r,k\rangle},
\]
and proves that if the sequence
\[
\big(h^{\langle r,r-1\rangle}(x),\dots,h^{\langle r,0\rangle}(x)\big)
\]
is interlacing, then so is
\[
\big(U_{r,r-1}^n h(x),\dots,U_{r,0}^n h(x)\big).
\]
This supplies an interlacing-based proof of the real-rootedness part of Beck–Stapledon’s conjecture for Ehrhart \(h^*\)-polynomials and recovers interlacing families for colored Eulerian polynomials studied by Savage–Visontai [1806.08165].

That paper does not define almost interlacing, but it identifies several directions in which exact interlacing might weaken. Degree thresholds, log-concavity hypotheses, and partial interlacing of Veronese components are presented as plausible routes toward weaker phenomena. In particular, the paper notes that log-concavity can force full interlacing in a moderate degree range, and suggests that larger-degree settings may lead naturally to partial or asymptotic interlacing after repeated Veronese iterations. These are interpretive extensions rather than proved almost-interlacing theorems [1806.08165].

A broader matrix formulation is given by the notion of a fully interlacing matrix of formal power series. For a \(p\times q\) matrix \(A=(A_{ij}(x))\), the associated Lace matrix \(\operatorname{Lace}(A)\) is formed by interleaving Toeplitz matrices of the entries. The matrix \(A\) is fully interlacing when \(\operatorname{Lace}(A)\) is totally positive. This strengthens the usual notion of an interlacing sequence: row and column matrices are special cases, and pairwise interlacing need not imply full interlacing. Full interlacing is preserved under matrix products, flips across the reverse diagonal, and Veronese sections [2404.12989].

This suggests a graded notion of almost interlacing in terms of partial total positivity. The paper itself points toward “total positivity up to a certain order or level” as a natural extension, although it does not formulate a definitive theory. A plausible implication is that almost interlacing in algebraic settings may be viewed as the passage from full total positivity of the Lace matrix to weaker positivity conditions on only lower-order minors [2404.12989].

## 7. Modular forms and asymptotic interlacing on boundary arcs

For weakly holomorphic modular forms on \(\mathrm{SL}_2(\mathbb{Z})\), almost interlacing acquires a geometric meaning. The Duke–Jenkins canonical basis \(\{f_{k,m}\}\subset M_k^!\) is characterized by
\[
f_{k,m}(z)=q^{-m}+O(q^{\ell+1}),
\]
where \(k=12\ell+k'\) with \(k'\in\{0,4,6,8,10,14\}\). The gap functions are
\[
G_k(z):=f_{k,0}(z),
\]
holomorphic forms with maximal possible initial gap in the \(q\)-expansion. If \(m\ge |\ell|-1\), all zeros of \(f_{k,m}\) in the standard fundamental domain lie on the circular arc
\[
A=\{e^{i\theta}:\pi/3\le \theta\le 2\pi/3\}
\]
[1308.1123].

The exact interlacing theorem in this setting is that the zeros of \(G_k(z)\) interlace on \(A\) with the zeros of \(G_{k+12}(z)\). The proof compares the normalized boundary values of \(G_k\) with trigonometric approximants such as
\[
2\cos\!\left(\frac{k\theta}{2}\right)
\quad\text{and}\quad
H_k(\theta)=2\cos\!\left(\frac{k\theta}{2}\right)+(2\cos(\theta/2))^{-k},
\]
and then controls the zero shifts by explicit error estimates [1308.1123].

For the full basis, the result is weaker and therefore closer to the article’s subject. For any fixed \(\varepsilon>0\), let
\[
A_\varepsilon=\{e^{i\theta}:\pi/3+\varepsilon<\theta<2\pi/3-\varepsilon\}.
\]
If \(m\ge 0\) is fixed, then the zeros of \(f_{k,m}(z)\) interlace with those of \(f_{k+12,m}(z)\) on \(A_\varepsilon\) for sufficiently large \(k\). If \(k\) is fixed, then the zeros of \(f_{k,m}(z)\) interlace with those of \(f_{k,m+1}(z)\) on \(A_\varepsilon\) for sufficiently large \(m\). Thus interlacing holds for almost all forms in the basis and on most of the lower boundary, but not uniformly on the full arc. This is the paper’s concrete realization of almost interlacing [1308.1123].

Taken together, these results suggest that almost interlacing is a spectrum of near-alternation principles. In matrix classes it appears as monotone smallest eigenvalues and boundary-only alternation; in reversible stochastic dynamics as interlacing with possible touching; in \(q\)-orthogonal families as closed logarithmic-mesh bounds; in mixed recurrences as interlacing completed by one or two extra points; in algebraic transforms as potential weakening of full total positivity; and in modular forms as asymptotic interlacing on a truncated geometric locus. The unifying content is not exact alternation itself, but the persistence of strong gap constraints after exact interlacing has partially broken.

Source: https://www.emergentmind.com/topics/almost-interlacing