この論文は、Katz–Long–Moody（KLM）という代数的な畳み込み操作から自然に現れるエルミート（複素内積に関する）形式の符号を、簡潔に計算する閉じた公式を与えます。問題の状況はこうです。ブラウ群などに関連する表現（行列の組）と、円上の畳み込みパラメータを与えると、KLM 構成は新しい商表現を作り、その商表現には標準的な不変エルミート形式が備わります。著者らはその形式の正負の個数（符号、signature）を、入力行列の固有値の角度（固有角度）とそれらの順序積の角度、そしてパラメータだけから読み取る公式を導きました。パラメータが共鳴する特別な値の場合や、入力行列に固有値1が含まれる場合にも有効です。

彼らの主な貢献は、以前の再帰的手順を閉形式に置き換えたことです。従来は中間で行列を順に対角化するような手続きが必要でしたが、今回の公式は途中での対角化を一切使いません。証明は基本的な線型代数に基づきます。具体的には行列式の恒等式、ブロック・ピボット（シュア補完）の計算、ユニタリ行列のケーリー変換（Cayley transform）に関する慣性（正負の固有値の数）計算を組み合わせています。ケーリー変換に関する補題が鍵になり、これを繰り返すことで符号が望ましい形で打ち消し合うことが示されます。解析的な摂動やホッジ理論のような重い道具は使われていません。

なぜこれが重要かというと、符号が「正定（すべて正）」であればその商表現はユニタリ（内積を保つ）にできる、ということが確実に言える点です。逆に、出力表現が既約（分解できない）であれば、ユニタリにできることはちょうどこのエルミート形式が正定であることと同値になります。従って著者らの公式は、どのパラメータ範囲で出力がユニタリ化可能かを正確に決めます。さらに、固定したパラメータの下では、入力行列の局所共役類（各点でのスペクトル）が同じであれば符号は変わらない、という安定性の結果も含みます。

応用例も示されています。ランク1（一次元的）に特化すると、古典的なPochhammer 系や超幾何方程式に対するHaraoka の不変形式と比較でき、その場合はエントリごとの合同を通じて一致することが示されます。また Beukers–Heckman の「交互配置（interlacing）」基準のガウス（2F1）ケースを回復し、Hecke 代数や Temperley–Lieb 代数に対しては符号が正定になるパラメータ区間を決定しています。

重要な注意点もあります。ここで決定されるのは「KLM 構成が作るその標準的な（canonical）エルミート形式」の符号です。商表現が可約（直和に分かれる）であれば、その表現が保存する他の正定な形式が存在する可能性をこの結果だけで完全には否定できません。また、この理論は入力がユニタリであることを前提にしており、結果の同値性（符号が正定 ⇔ 表現がユニタリ化可能）は出力が既約な場合に限って完全に成り立ちます。論文は共鳴壁や零化空間（kernel）を含む全ての許容パラメータ上での公式を扱っており、その点で幅広く適用可能です。