この論文は、物理量の単位に関する次元解析を、変数同士に暗黙の関係や定義がある場合にも確実に扱えるようにする線形代数の枠組みを示します。量を対数に取ることで乗法的な構造を加法的（線形）に変換し、独立な無次元量（π群）の個数を正確に数えられる点と、冗長な組み合わせを試行錯誤なしに代数的に取り除ける点が主な新しい点です。著者は古典的な抗力（ドラッグ）問題で例を示していますが、方法自体は変数が多い系や暗黙の制約がある系に向いています。

研究者たちはまず、各物理量の次元を表す行列Aと、物理量の対数y = ln xという表現を用いました。無次元量はAの核（ker A）に対応します。一方で制約はψ(y) = 0の形で表し、そのヤコビ行列をJとすると、制約の接空間はker Jになります。許される無次元の変化は次元方向（ker A）と制約の接方向（ker J）の交差、つまりker A ∩ ker Jに収まります。これにより「実効的な独立無次元量」の次元deffは dim(ker A ∩ ker J) として表せます。さらに一般式として deff = n − rankA − rankJ + dim(im A^T ∩ im J^T) が示され、制約が単位系の拡大・縮小（スケール変換）に不変な場合は簡単に deff = n − rankA − rankJ となります。

実際に冗長な候補を除く手続きも示されています。まずAの核の基底{e1,…,ed}を取って列に並べた行列Eを作ります。制約のヤコビJを計算し、スケール不変性（J A^T = 0）が成り立つなら、C = J E (E^T E)^{-1} を作れます。候補となる無次元量の対数ベクトル ln π = E^T y に対して C δ ln π = 0 が全ての線形関係を表します。行列Cの階数が冗長方向の数を与えるため、Cを行基本形（行列の掃き出し）に変換すれば独立な無次元量の取り出しが機械的にできます。

この方法が役立つ理由は、変数が多い場合や制約が暗黙なら直接的に変数を消去するのが現実的でないときに、線形代数だけで問題を整理できる点です。選び方に頼ったり、似た表現が生まれて冗長性に気づきにくい従来の手法に比べ、冗長量の数や独立な量の取り出し方を明確に示せます。論文では古典的な抗力問題を例にして、暗黙の関係がある典型的な場面での有効性を示しています。

重要な注意点もあります。対数変換は各物理量が正であることを仮定します。もしゼロを越えて符号が変わる量がある場合は、この扱いは別途の検討が必要です。また、制約側ではヤコビJが対象点の近傍で局所的に一定の階数を持つことを仮定しており、そうでない場合は「接空間がきれいな部分多様体になる」という理論が適用できない可能性があります。さらに、示された機械的消去手順の簡単な形はスケール不変な制約を仮定した場合に特に分かりやすくなりますが、一般の場合でも交差空間 ker A ∩ ker J として一般論は残ります。