---
title: 'Purified Determinant: Braid Invariants & Applications'
url: https://www.emergentmind.com/topics/purified-determinant
type: topic
---

# Purified Determinant: Braid Invariants & Applications

“Purified determinant” is a context-dependent expression rather than a single uniform term of art. In the most explicit usage, it denotes a braid invariant \(P(b)\) obtained by first replacing a braid by a pure power and then taking the determinant of its crossing matrix [2509.08464]. In other determinant-centered settings, “purification” refers not to a formal name but to a recognizable operation: compressing the Leibniz expansion into Bell-number-many partition terms, resolving the determinant hypersurface into pure Hodge-theoretic pieces, or replacing a top exterior power on a singular variety by its reflexive hull so that only codimension-one data remains [2301.06586] [2003.09874] [1612.00756].

## 1. Braid-theoretic purified determinant

For an \(n\)-braid diagram \(B\), let \(\rho\) be its braid permutation, so that the \(i\)-th strand on the top ends in position \(\rho(i)\) on the bottom. A braid is pure precisely when \(\rho=\mathrm{id}\). If \(|\rho|\) denotes the order of the permutation, then \(B^{|\rho|}\) has trivial permutation and is therefore a pure braid diagram. The purified determinant is defined by
\[
P(B)=\det\!\big(C(B^{|\rho|})\big),
\]
where \(C(B)\) is the crossing matrix of \(B\): \(C(B)=M\) is the \(n\times n\) matrix with \(M(i,i)=0\), and for \(i\neq j\), \(M(i,j)\) is the number of positive crossings minus negative crossings between the \(i\)-th and \(j\)-th strands in which the \(i\)-th strand passes over the \(j\)-th strand [2509.08464].

The same paper records the permutation action on matrices,
\[
\rho(M)(i,j)=M(\rho^{-1}(i),\rho^{-1}(j)),
\]
and the product rule
\[
C(B_1B_2)=C(B_1)+\rho(C(B_2)),
\]
where \(\rho\) is the braid permutation of \(B_1\). Repeated application of this identity yields the direct computational formula
\[
P(B)=\det\!\left(\sum_{k=0}^{|\rho|-1}\rho^k(C(B))\right).
\]
Accordingly, purification is the operation of removing the permutation obstruction by passing to a power whose braid permutation is trivial before taking the determinant.

The construction is a braid invariant because the crossing matrix itself is invariant under braid relations. It is therefore well defined on a braid \(b\), not merely on a chosen diagram, and the notation \(P(b)\) is unambiguous in this setting.

## 2. Strong conjugation, similarity, and invariance

The principal theorem states that
\[
P(b_1b_2)=P(b_2b_1)
\]
for any pair of \(n\)-braids \(b_1,b_2\). The paper calls the move \(b_1b_2\leftrightarrow b_2b_1\) strong conjugation, and the theorem implies in particular that \(P\) is unchanged under ordinary conjugacy as well [2509.08464].

The proof proceeds by similarity of purified crossing matrices. In the pure case, if \(\sigma_i^\varepsilon B\) is pure with \(\varepsilon=\pm1\), then
\[
M_1=C(\sigma_i^\varepsilon B),\qquad M_2=C(B\sigma_i^\varepsilon)
\]
satisfy
\[
M_2=\tau_{i,i+1}(M_1),
\]
where \(\tau_{i,i+1}\) is the transposition swapping \(i\) and \(i+1\). Thus the two crossing matrices are similar. By repeatedly sliding generators, the same conclusion extends to arbitrary pure products: if \(B_1B_2\) is pure, then \(C(B_1B_2)\) and \(C(B_2B_1)\) are similar. In the non-pure case, if \(r\) is the order of the permutation of \(B_1B_2\), then both \((B_1B_2)^r\) and \((B_2B_1)^r\) are pure, and their crossing matrices are similar as well. Determinants of similar matrices agree, giving the theorem.

This mechanism is stronger than determinant equality alone. Because the purified matrices are similar, the rank, eigenvalues, eigenvectors, and characteristic polynomial of \(C(b^{|\rho|})\) are also braid invariants unchanged under conjugation. The determinant is therefore one member of a larger family of similarity invariants attached to the purified crossing matrix.

## 3. Computation, discrimination, and limitations

The paper gives an explicit \(5\)-braid example with \(|\rho|=6\) and
\[
C(B)=
\begin{bmatrix}
0 & -1 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 \\
0 & 0 & 1 & 1 & 0
\end{bmatrix}.
\]
Summing its permutation translates gives
\[
\sum_{k=0}^{5}\rho^k(C(B))=
\begin{bmatrix}
0 & -3 & 0 & 0 & 0 \\
-3 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & 2 & 2 \\
0 & 0 & 2 & 0 & 2 \\
0 & 0 & 2 & 2 & 0
\end{bmatrix},
\]
and therefore
\[
P(B)=-144.
\]
The same paper also exhibits two \(3\)-braid diagrams \(B\) and \(B'\) with
\[
P(B)=-8,\qquad P(B')=8,
\]
showing that the invariant can distinguish braids that have the same order of permutation and the same linking numbers of closures but are not strongly conjugate [2509.08464].

A refinement called the \(P\)-pair is defined by
\[
PP(B)=(|\rho|,P(B)).
\]
This records the order of the braid permutation together with the purified determinant. It is also a braid invariant and is unchanged under conjugation. The example
\[
PP(\sigma_1^{-1}\sigma_2)=(3,0),\qquad PP((\sigma_1^{-1}\sigma_2)^3)=(1,0)
\]
shows that \(PP(B)\) can separate a braid from its purified power even when \(P(B)=P(B^{|\rho|})\).

The principal limitation is that \(P\) is not invariant under stabilization. The paper states explicitly that the purified determinant can change by stabilization, so it is not a link invariant of braid closures. This motivates the later introduction of
\[
Q(B)=\det(C(B)+I),
\]
the \(Q\)-determinant, which is invariant under stabilization but not under conjugation. The two constructions therefore capture different aspects of braid equivalence.

## 4. Structural purification of determinant formulas

A distinct use of “purification” appears in work on explicit determinant expansions. For an \(n\times n\) matrix \(A=(a_{i,j})\), the determinant is written as a sum over partial partitions \(P\in PP(n)\),
\[
\det(A)=\sum_{P\in PP(n)} \operatorname{sgn}(P)\,|P|!\,\prod_{i=1}^n
\begin{cases}
\displaystyle \sum_{\substack{j\sim_P i\\ j\neq i}} a_{i,j}, & \text{if } i\sim_P i,\\[1.2ex]
\displaystyle a_{i,i}+\sum_{j\sim_P j} a_{i,j}, & \text{if } i\not\sim_P i,
\end{cases}
\]
with
\[
\operatorname{sgn}(P)=\prod_{S\in P}(-1)^{|S|+1}.
\]
If \(P\) contains a singleton part, the corresponding factor is empty and the term vanishes, so the effective indexing set is the collection of partial partitions with no singleton parts, in bijection with ordinary set partitions of \([n]\). The number of potentially nonzero terms is therefore exactly the Bell number \(B_n\), rather than the \(n!\) terms of the Leibniz formula. The paper also compares the formula to the previous best explicit bound \((5/6)^{\lfloor n/3\rfloor}n!\) and proves
\[
\frac{B_n}{(5/6)^{\lfloor n/3\rfloor}n!}\le \frac{1}{e}\left(\frac{e}{\ln(n+1)}\right)^n,
\]
so the compression is superexponential [2301.06586].

Two proofs are given. The combinatorial proof expands coefficients of monomials \(a_{1,f(1)}\cdots a_{n,f(n)}\), shows cancellation by a sign-reversing involution when \(f\) is not a permutation, and recovers \(\operatorname{sgn}(f)\) when \(f\) is a permutation via Stirling-number cancellation. The geometric proof defines the cuboid
\[
C_A=\prod_{i=1}^n [0,a_{i,i}],
\]
the lattice
\[
\Lambda_A=\{A\mathbf v:\mathbf v\in\mathbb Z^n\},
\]
and an axis-aligned polytope \(F_A\) obtained by removing overlaps of translated cuboids from \(C_A\). The translates \(F_A+\Lambda_A\) tile \(\mathbb R^n\), and inclusion–exclusion computes \(\operatorname{vol}(F_A)\) as the right-hand side of the formula, giving \(\operatorname{vol}(F_A)=\det(A)\).

This compressed formula has immediate rank-theoretic consequences. It yields
\[
\operatorname{Trank}(\det_F^n)\le B_n
\]
over any field \(F\), characteristic-\(p\) refinements
\[
\operatorname{Trank}(\det_F^n)\le \sum_{k=0}^{p-1} B_{n,k},
\]
the exact value
\[
\operatorname{Trank}(\det_{\mathbb F_2}^4)=12,
\]
and, when \(\operatorname{char}(\mathbb F)=0\) or \(>n\),
\[
\operatorname{Wrank}(\det_{\mathbb F}^n)\le 2^{n-1}B_n.
\]
The paper states that this Waring-rank bound improves the previous \(n\cdot n!\) bound for all \(n\ge 17\). In this sense, the determinant is “purified” by replacing permutation-by-permutation bookkeeping with Bell-number-many partition structures.

## 5. Hodge-theoretic and singular-variety purification

For the determinant hypersurface, purification can mean passage from coarse pole-order data to explicit Hodge-theoretic structure. Let
\[
X=\mathbf C^{n\times n},\qquad Z=\{\det=0\}\subset X,
\]
and let \(J_p\subset S=\mathbf C[x_{i,j}]\) be the ideal generated by the \(p\times p\) minors. The localization \(\mathcal O_X(*Z)\) carries Saito’s Hodge filtration \(F_\bullet\), with Hodge ideals defined by
\[
F_k(\mathcal O_X(*Z))=I_k(Z)\otimes \mathcal O_X((k+1)Z).
\]
The paper computes these ideals explicitly:
\[
I_k(Z)=\bigcap_{p=1}^{n-1}J_p^{((n-p)(k-1)-\binom{n-p}{2})},
\]
and identifies the weight-graded pieces by
\[
\operatorname{gr}^{W}_{n^2+n-p}\mathcal O_X(*Z)=IC^H_{Z_p}\!\left(-\frac{n-p+1}{2}\right),\qquad p=0,\dots,n,
\]
with \(\operatorname{gr}^W_w\mathcal O_X(*Z)=0\) for \(w<n^2\) or \(w>n^2+n\). The Hodge filtration on \(\mathcal O_X(*Z)\) has generation level \(\binom n2\). Here purification means that the mixed object \(\mathcal O_X(*Z)\) is decomposed into pure Hodge modules supported on the rank strata [2003.09874].

A different purification appears for determinants of coherent sheaves on singular projective varieties. If \(X\) is projective and \(\mathcal F\) is coherent of rank \(n\), the determinant is defined by
\[
\det(\mathcal F)=\left(\bigwedge^n\mathcal F\right)^{\vee\vee}.
\]
The reflexive hull suppresses codimension-\(\ge 2\) defects and retains codimension-one information. In flat families with normal integral fibers, the Hilbert polynomial of the determinant is not constant, but the paper proves an upper semi-continuous behavior and constructs a determinant morphism after stratifying the base by determinant Hilbert polynomial. In the curve-on-surface application, if \(I_C\) is the ideal sheaf of a curve \(C\) on a normal surface, there is an exact sequence
\[
0\to \det(I_C)\to \mathcal O_X\to \mathcal O_C^{CM}\to 0,
\]
relating the determinant to the Cohen–Macaulayfication of the curve [1612.00756].

Taken together, these two works suggest two distinct purification paradigms for determinants: decomposition into pure Hodge-module constituents, and reflexive removal of codimension-\(\ge 2\) singular behavior.

## 6. Related determinant analogues and terminological boundaries

Several nearby notions should be distinguished from the braid-theoretic purified determinant. For a Hermitian matrix \(A\), the pseudo determinant is
\[
\operatorname{Det}(A)=\prod_{\lambda_i\neq 0}\lambda_i,\qquad \operatorname{Det}(0)=1,
\]
and the paper proves the canonical derivative formula
\[
\mathbf{\nabla \!Det}(A)=\operatorname{Det}(A)A^+,
\]
where \(A^+\) is the Moore–Penrose pseudoinverse. This is a determinant-like construction that removes zero spectral directions, but the term used there is “pseudo determinant,” not “purified determinant” [1802.04878].

In operator-algebraic language, the determinant map on pure C\(^*\)-algebras is again different. For a separable, simple, pure C\(^*\)-algebra of stable rank one in which every bounded \(2\)-quasitrace is a trace, the de la Harpe–Skandalis determinant has kernel equal to the commutator subgroup on \(U^0(A)\), and determinant-zero elements are finite products of commutators. Here “pure” modifies the algebra, not the determinant [1408.4359].

Commutative-algebraic uses of purity also differ. The hypersurface defined by
\[
\mathcal P(X)=\det\!\big[\operatorname{diag}(I)\ \operatorname{diag}(X)\ \cdots\ \operatorname{diag}(X^{n-1})\big]
\]
is proved to be \(F\)-pure for all matrix sizes and all positive prime characteristics. The result concerns Frobenius purity of the quotient ring \(R/(\mathcal P(X))\), not a determinant object called purified determinant [1902.02563].

Finally, “purified gravity” is a nonmetricity-based reformulation of General Relativity called Coincident General Relativity. It uses the metric density \(\sqrt{-g}\) in the action
\[
S=\int d^4x\,\sqrt{-g}\left(\frac{1}{16\pi G}Q+L_M\right),
\]
but it does not introduce a determinant construction named purified determinant [1903.12072].

Accordingly, the term has one precise braid-theoretic meaning and several looser determinant-related senses in which purification denotes removal of permutation data, null spectral directions, mixed Hodge contributions, or codimension-\(\ge 2\) singular defects. Context is therefore decisive.

Source: https://www.emergentmind.com/topics/purified-determinant