Two-Variable Jordan Block: Concepts & Applications

• The two-variable Jordan block is a non-diagonalizable structure characterized by a repeated eigenvalue and a Jordan chain, manifesting in operator theory, hydrodynamic PDEs, matrix, and algebraic formulations.
• It emerges as a tensor product of one-variable Jordan blocks in Hardy space modules, playing a pivotal role in invariant subspace classification and centralizer problems.
• Its broad applications span scalable numerical algorithms, machine-learning positional encodings, and combinatorial digit expansions, highlighting practical implications in modern computational methods.

Searching arXiv for the provided topic and related papers to ground the article in the literature. A two-variable Jordan block is not a single universally fixed object, but a family of closely related constructions that recur across operator theory, hydrodynamic-type PDEs, matrix theory, commutative algebra, and recent applied work. In the bidisk Hardy-space setting, it is precisely a doubly commuting quotient module of $H^2(\mathbb{D}^2)$, and hence a tensor product of one-variable Jordan blocks. In parabolic systems of hydrodynamic type, it denotes a $2\times 2$ non-diagonalizable coefficient matrix with a repeated eigenvalue and one generalized eigenvector. In finite-dimensional linear algebra, it appears as the canonical block $J_2(\lambda)$, as a constituent of $J_r\otimes J_s$, and as the organizing object in centralizer problems. Across these settings, the recurrent structure is non-semisimplicity: a repeated eigenvalue together with a nontrivial Jordan chain, or, in the bidisk case, a tensor-product analogue of that chain structure (Sarkar, 2013, Vergallo et al., 2022, Hernández et al., 2017).

1. Terminological scope and common structural pattern

In the literature surveyed here, the phrase “two-variable Jordan block” is used in several mathematically distinct, but structurally related, ways.

Context	Defining object	Salient feature
Hardy-module theory	$\mathcal{Q}\subset H^2(\mathbb{D}^2)$ with doubly commuting compressed shifts	Tensor product $$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$
Hydrodynamic-type systems	$A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$	Repeated speed, one eigenvector, one generalized eigenvector
Finite-dimensional matrix theory	$J_2(\lambda)$, $J_r\otimes J_s$, or centralizers of $J_n\oplus J_n$	Jordan chains, partitions, commuting nilpotents
Artinian algebra	Jordan type of $2\times 2$0 on $2\times 2$1	Block decomposition of multiplication by a linear form
Recent applications	Complex defective block in positional encoding; non-expansive number systems	Coupled oscillatory-polynomial modes or combinatorial length formulas

This distribution of meanings suggests a stable conceptual core: Jordan-block behavior records the failure of diagonalizability, while the surrounding category determines whether that failure is encoded by quotient modules, PDE coefficients, nilpotent orbits, multiplication maps, or representation formulas. The most systematic two-variable classification in the operator-theoretic sense is the bidisk theorem for $2\times 2$2, where “two-variable Jordan block” is a precise term rather than a loose analogy (Sarkar, 2013).

2. Bidisk Hardy-space formulation

For the Hardy space on the bidisk,

$2\times 2$3

the coordinate multipliers $2\times 2$4 and $2\times 2$5 make $2\times 2$6 into a Hilbert module over $2\times 2$7. There is a canonical unitary module isomorphism

$2\times 2$8

under which

$2\times 2$9

If $J_2(\lambda)$0 is an inner function on $J_2(\lambda)$1, the one-variable Jordan block is

$J_2(\lambda)$2

unitarily equivalent to the model space $J_2(\lambda)$3. A quotient module $J_2(\lambda)$4 is called doubly commuting when the compressed coordinate shifts satisfy

$J_2(\lambda)$5

The central classification theorem specializes in two variables to the statement that a quotient module $J_2(\lambda)$6 is doubly commuting if and only if

$J_2(\lambda)$7

for quotient modules $J_2(\lambda)$8, equivalently

$J_2(\lambda)$9

where each factor is either a one-variable Jordan block $J_r\otimes J_s$0 for a one-variable inner function $J_r\otimes J_s$1, or the full Hardy module $J_r\otimes J_s$2 (Sarkar, 2013). Under the tensor-product identification, the compressed shifts are

$J_r\otimes J_s$3

so doubly commuting follows from

$J_r\otimes J_s$4

A standard finite-dimensional example takes $J_r\otimes J_s$5 and $J_r\otimes J_s$6, where $J_r\otimes J_s$7 is a finite Blaschke product of degree $J_r\otimes J_s$8. Then

$J_r\otimes J_s$9

and

$\mathcal{Q}\subset H^2(\mathbb{D}^2)$0

has dimension $\mathcal{Q}\subset H^2(\mathbb{D}^2)$1. On $\mathcal{Q}\subset H^2(\mathbb{D}^2)$2, $\mathcal{Q}\subset H^2(\mathbb{D}^2)$3 is the truncated unilateral shift, nilpotent of order $\mathcal{Q}\subset H^2(\mathbb{D}^2)$4; on $\mathcal{Q}\subset H^2(\mathbb{D}^2)$5, $\mathcal{Q}\subset H^2(\mathbb{D}^2)$6 is a finite-dimensional contraction determined by $\mathcal{Q}\subset H^2(\mathbb{D}^2)$7, nilpotent of order $\mathcal{Q}\subset H^2(\mathbb{D}^2)$8 when $\mathcal{Q}\subset H^2(\mathbb{D}^2)$9.

3. Invariant subspaces, co-doubly commuting submodules, and uniqueness

The bidisk theory extends beyond the quotient itself to the corresponding submodules. A submodule $$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$0 is called co-doubly commuting when the quotient $$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$1 is doubly commuting. In two variables, the Beurling-like classification states that $$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$2 is co-doubly commuting if and only if

$$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$3

where

$$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$4

and the quotient is the two-variable Jordan block

$$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$5

The associated projection formula is

$$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$6

(Sarkar, 2013).

Recent work develops the invariant-subspace theory internal to the product model space $$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$7. With

$$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$8

a closed subspace $$\mathcal{Q}_{\Theta_1}\otimes \mathcal{Q}_{\Theta_2}$$9 is invariant and doubly commuting if and only if there exist inner functions $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$0 such that $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$1 and

$A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$2

Equivalently, $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$3, where each $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$4 is $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$5-invariant in $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$6 and has the classical one-variable form $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$7 (B et al., 25 May 2026).

The proof mechanism uses defect-operator identities. For any nonconstant inner $A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$8,

$A(u)=\begin{bmatrix}\lambda(u)&\mu(u)\0&\lambda(u)\end{bmatrix}$9

These identities, together with cyclicity of $J_2(\lambda)$0 for $J_2(\lambda)$1, force reducing hulls to split as tensor products.

Several edge cases are rigid. If $J_2(\lambda)$2 is unimodular, then $J_2(\lambda)$3 and $J_2(\lambda)$4, so a unimodular factor collapses the two-variable Jordan block to the zero space. If $J_2(\lambda)$5 is replaced by $J_2(\lambda)$6, the corresponding submodule and quotient do not change, so the factorization is unique only up to unimodular constants. Factor uniqueness itself holds at the level of quotient modules: if $J_2(\lambda)$7, then $J_2(\lambda)$8. By contrast, if one assumes only commutation and not double commutation, the tensor-product classification does not persist (Sarkar, 2013, B et al., 25 May 2026).

4. Parabolic and Hamiltonian $J_2(\lambda)$9 Jordan-block systems

In hydrodynamic-type PDEs, a two-variable Jordan block is a quasilinear system

$J_r\otimes J_s$0

or, in concrete coordinates,

$J_r\otimes J_s$1

Such a system has a repeated eigenvalue $J_r\otimes J_s$2, one eigenvector, and one generalized eigenvector. In the Toeplitz-block parametrization, the general $J_r\otimes J_s$3-component system is $J_r\otimes J_s$4, and the $J_r\otimes J_s$5 case reduces to $J_r\otimes J_s$6 with $J_r\otimes J_s$7 (Vergallo et al., 2022).

A central constraint is linear degeneracy. For a single $J_r\otimes J_s$8 Jordan block, it reduces to

$J_r\otimes J_s$9

This condition is necessary for the existence of a first-order Dubrovin–Novikov Hamiltonian structure in Jordan-block systems, and in the $J_n\oplus J_n$0 case it is also sufficient for the existence of a compatible quasilinear differential constraint (Vergallo et al., 2022, Rizzo et al., 2024).

The two-variable equivalence theorem is particularly sharp. For systems

$J_n\oplus J_n$1

the following are equivalent: linear degeneracy, existence of a compatible quasilinear constraint, and existence of a Dubrovin–Novikov Hamiltonian structure. Any compatible first-order constraint is quasilinear and may be written

$J_n\oplus J_n$2

while in the autonomous case one obtains

$J_n\oplus J_n$3

(Rizzo et al., 2024).

The same non-diagonalizable structure appears in delta-functional reductions of the kinetic equation for dense soliton gas. For one block, in variables $J_n\oplus J_n$4,

$J_n\oplus J_n$5

with

$J_n\oplus J_n$6

This system is linearly degenerate, $J_n\oplus J_n$7, and admits infinitely many local Hamiltonian structures. A parametric family of flat contravariant metrics is

$J_n\oplus J_n$8

with $J_n\oplus J_n$9 arbitrary functions of $2\times 2$00 (Vergallo et al., 2022).

For $2\times 2$01 delta-species, the reduction produces $2\times 2$02 decoupled $2\times 2$03 Jordan blocks

$2\times 2$04

and model-specific multi-Hamiltonian structures are worked out for KdV, sinh-Gordon, hard-rod, Lieb–Liniger, DNLS, and separable kernels. This places the two-variable Jordan block at the intersection of parabolicity, linear degeneracy, and Hamiltonian integrability (Vergallo et al., 2022).

5. Finite-dimensional matrix, partition, and centralizer theories

A different branch of the subject studies how Jordan blocks interact under tensor product and commutation. For $2\times 2$05 and $2\times 2$06 the full Jordan blocks with eigenvalue $2\times 2$07 over a field of characteristic $2\times 2$08, the Jordan canonical form of $2\times 2$09 determines a partition

$2\times 2$10

of $2\times 2$11, called the Jordan partition. Grouping equal parts yields the composition vector $2\times 2$12. Glasby–Praeger–Xia proved periodicity and reflection in the second variable $2\times 2$13: if $2\times 2$14, then

$2\times 2$15

and within a period,

$2\times 2$16

Barry determined the least period,

$2\times 2$17

and exhibited partial subperiodic and partial subreflective behavior via a six-case $2\times 2$18-adic recursion for $2\times 2$19 (Barry, 2019).

The finite-dimensional commuting theory becomes markedly richer when one starts from

$2\times 2$20

Then

$2\times 2$21

has dimension $2\times 2$22, and every element of $2\times 2$23 is a $2\times 2$24 block matrix with each block a polynomial in $2\times 2$25 of degree $2\times 2$26. Equivalently,

$2\times 2$27

Bogdanić–Đurić–Koljančić–Oblak–Šivic classify all nilpotent Jordan canonical forms that occur inside this centralizer. The admissible partitions are precisely nine infinite families $2\times 2$28–$2\times 2$29; $2\times 2$30–$2\times 2$31 occur over any field, while $2\times 2$32–$2\times 2$33 may depend on the field and do occur over $2\times 2$34 (Bogdanić et al., 2022).

This classification shows a sharp contrast with the one-block case. For a single Jordan block, commuting nilpotents have almost rectangular shapes only. For $2\times 2$35, one obtains almost rectangular partitions, mixed plateau families, and further families determined by valuation data $2\times 2$36 and recursive rank formulas derived from

$2\times 2$37

The broader significance is that the presence of two equal Jordan blocks enlarges the centralizer from a truncated polynomial ring to a matrix algebra over that ring, and the orbit structure correspondingly expands (Bogdanić et al., 2022).

6. Jordan type in two-variable Artinian algebras

For an Artinian algebra $2\times 2$38 and an element $2\times 2$39 of its maximal ideal, the multiplication map $2\times 2$40 is nilpotent, and its Jordan block decomposition defines the Jordan type $2\times 2$41. In the two-variable graded setting $2\times 2$42, this becomes a fine invariant of the algebra and of the chosen linear form. A basic general inequality is

$2\times 2$43

in dominance order, where $2\times 2$44 is the conjugate partition of the Hilbert function. In codimension $2\times 2$45, if $2\times 2$46 or $2\times 2$47, a general $2\times 2$48 is strong Lefschetz, so

$2\times 2$49

(Iarrobino et al., 2018).

Height-two homogeneous complete intersections give a complete classification. Let

$2\times 2$50

Then the Hilbert function has the symmetric form $2\times 2$51, where $2\times 2$52, $2\times 2$53, and the active Hessians are $2\times 2$54 for $2\times 2$55, together with $2\times 2$56 when $2\times 2$57. The decisive fact is that the vanishing pattern of the active Hessians at a linear form $2\times 2$58 determines the Jordan type completely. There is a one-to-one correspondence between complete-intersection Jordan type partitions and subsets of active Hessians that vanish at $2\times 2$59: $2\times 2$60 possibilities when $2\times 2$61, and $2\times 2$62 when $2\times 2$63 (Altafi et al., 2018).

The partitions that occur are characterized numerically. Writing

$2\times 2$64

the complete-intersection criterion is

$2\times 2$65

Equivalently, among all partitions with diagonal lengths $2\times 2$66, the CI Jordan type partitions are exactly those satisfying these equalities. They are also exactly the partitions with either $2\times 2$67 parts or $2\times 2$68 parts (Altafi et al., 2018).

The strong Lefschetz case is the maximal one: $2\times 2$69 For the monomial complete intersection $2\times 2$70, the generic Jordan type for $2\times 2$71 is

$2\times 2$72

while the special choices $2\times 2$73 and $2\times 2$74 give

$2\times 2$75

In codimension $2\times 2$76, the Jordan degree type of a generic $2\times 2$77 has staircase form

$2\times 2$78

(Iarrobino et al., 2018).

This theory makes the phrase “two-variable Jordan block” concrete in commutative algebra: it becomes the block structure of multiplication by a linear form in a two-variable Artinian algebra, constrained by the Hilbert function, Hessians, and Lefschetz properties.

7. Computational, combinatorial, and modern applied directions

Near a defective matrix, the $2\times 2$79 Jordan block becomes a numerical target rather than a static normal form. A scalable algorithm computes the Jordan chain of a nearly defective matrix with a $2\times 2$80 Jordan block by first computing the corresponding two-dimensional invariant subspace and then solving the reduced $2\times 2$81 problem

$2\times 2$82

The method avoids dense SVDs, requires only shifted solves and small dense algebra, and produces an eigenvector and Jordan vector with $2\times 2$83 error when the matrix is $2\times 2$84 away from an exactly defective matrix; if a matrix derivative $2\times 2$85 is known, a one-step correction yields $2\times 2$86 accuracy. The motivating application is an electromagnetism problem with matrix size $2\times 2$87 (Hernández et al., 2017).

A recent machine-learning adaptation treats a complex defective Jordan block as a relative positional encoding. With

$2\times 2$88

the exact relative operator is

$2\times 2$89

which yields the primitive functions

$2\times 2$90

This construction, termed Jordan-RoPE, couples phase and distance inside one defective representation rather than placing them in a direct sum. Exact, stabilized, and scaled-exact variants are distinguished by whether the one-parameter group law is preserved. On a small WikiText-103 byte LLM, the scaled-exact variant improves over RoPE and direct-sum baselines within the Jordan family, while RoPE+ALiBi remains strongest overall (Zhang, 5 May 2026).

A more arithmetic application considers the non-expansive number system generated by

$2\times 2$91

Representations

$2\times 2$92

reduce to signed sums

$2\times 2$93

For $2\times 2$94, the minimal length is

$2\times 2$95

where $2\times 2$96 is the smallest nonnegative integer satisfying

$2\times 2$97

and

$2\times 2$98

This yields an $2\times 2$99 arithmetic test for minimal length and an $J_2(\lambda)$00 constructive algorithm for a representation (Blažek et al., 6 May 2026).

These developments show that the two-variable Jordan block is no longer confined to classical normal-form theory. It now functions as an organizing template for quotient modules, Hamiltonian degeneracies, modular partition phenomena, Lefschetz stratifications, scalable EP numerics, non-semisimple positional encodings, and combinatorial digit expansions. The persistent invariant across those domains is the same: a repeated eigenvalue together with a nontrivial Jordan-chain mechanism, realized either literally or through a tensor-product analogue.