Tensors, Gaussians and the Alexander Polynomial

Boudewijn Bosch

arxiv: 2512.13329 · v3 · pith:5KFNHZDVnew · submitted 2025-12-15 · 🧮 math.GT

Tensors, Gaussians and the Alexander Polynomial

Boudewijn Bosch This is my paper

Pith reviewed 2026-05-21 17:11 UTC · model grok-4.3

classification 🧮 math.GT

keywords Alexander polynomialGaussian partition functionHeisenberg algebratensor contractionsknot invariantspresentation matrixprecision matrixAlexander module

0 comments

The pith

A Gaussian whose precision matrix is the presentation matrix of a knot's Alexander module has a partition function that equals the Alexander polynomial.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a Gaussian model for the Alexander polynomial of an oriented knot in three-space. It employs the Heisenberg algebra together with a tensor-contraction formalism to associate a Gaussian function to the knot. The presentation matrix of the Alexander module is interpreted directly as the precision matrix of this Gaussian. The partition function of the resulting Gaussian then reproduces the Alexander polynomial without extra factors or adjustments. This construction supplies an explicit bridge between the algebraic definition of the invariant and a concrete integral expression.

Core claim

Using the Heisenberg algebra and a tensor-contraction formalism, we associate to a knot a Gaussian function whose partition function recovers Δ_K(T). Here, a presentation matrix of the Alexander module plays the role of a precision matrix of the Gaussian function.

What carries the argument

Gaussian function whose precision matrix is identified with the presentation matrix of the Alexander module, with the identification realized by Heisenberg algebra elements and tensor contractions.

If this is right

The Alexander polynomial is obtained by evaluating the Gaussian integral whose quadratic form is given by the Alexander module presentation matrix.
Tensor contractions supply a uniform algebraic procedure that turns any knot presentation into the corresponding Gaussian.
The same construction reproduces the polynomial for every oriented knot once its Alexander module presentation is known.
The model inherits the multiplicative property of the Alexander polynomial under connected sum when the Gaussians are combined appropriately.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The Gaussian representation may allow Monte Carlo or other numerical integration techniques to approximate the Alexander polynomial for large knots.
Replacing the Heisenberg algebra by other Lie algebras could produce analogous models for stronger invariants such as the Jones polynomial.
The precision-matrix viewpoint suggests a statistical-mechanical interpretation in which the Alexander polynomial counts weighted cycles or states in a Gaussian random field.
Direct comparison of the Gaussian model with existing Seifert-matrix algorithms could reveal new linear-algebraic identities for the Alexander polynomial.

Load-bearing premise

The presentation matrix of the Alexander module can be used directly as the precision matrix of the Gaussian without any rescaling, shift, or auxiliary terms.

What would settle it

Compute the partition function of the Gaussian constructed from the standard presentation matrix of the trefoil knot and check whether the result equals the known Alexander polynomial t^2 - t + 1 (up to normalization and variable substitution).

read the original abstract

Building on the approach of Bar-Natan and Van der Veen to universal knot invariants using (perturbed) Gaussian functions, we develop a Gaussian model to compute the Alexander polynomial $\Delta_{\mathcal{K}}(T)$ of an oriented knot $\mathcal{K}$ in $S^3$. Using the Heisenberg algebra and a tensor-contraction formalism, we associate to a knot a Gaussian function whose partition function recovers $\Delta_{\mathcal K}(T)$. Here, a presentation matrix of the Alexander module plays the role of a precision matrix of the Gaussian function.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Bosch gives a Gaussian partition function for the Alexander polynomial by using the module presentation matrix as precision matrix via Heisenberg algebra and tensors, but the usual det and 2π prefactors must cancel exactly or the claim fails.

read the letter

The main thing to know is that this paper takes the presentation matrix of the Alexander module and treats it as the precision matrix of a Gaussian, then uses Heisenberg algebra plus tensor contractions to make the partition function recover the Alexander polynomial exactly. It is a direct specialization of the perturbed Gaussian methods from Bar-Natan and Van der Veen, aimed only at this one classical invariant rather than universal ones. That narrowing is the actual new piece, and it is a reasonable move if the algebra works out cleanly. The construction itself is straightforward on paper: the module data becomes the quadratic form, and the contractions are supposed to produce the determinant up to the usual ±t^k units. If the full details are there, this could give knot theorists another analytic handle on an old invariant without inventing new machinery from scratch. The soft spot is the normalization. Ordinary Gaussian integrals carry (2π)^{n/2} / sqrt(det) factors that depend on dimension and the matrix size. The abstract and the stress-test note both leave open whether the tensor formalism or Heisenberg relations cancel those terms without leftovers that would spoil the match over Z[t^{±1}]. If the paper only restates the determinant in new language and does not show explicit cancellation rules that survive changes of presentation, then the recovery is not independent. That is the load-bearing step, and it needs to be written out with small examples or a clear normalization convention. This is for people already working on analytic or algebraic models of knot invariants who like seeing classical objects recast in Gaussian language. A reader who wants fresh computational tricks or bridges to statistical mechanics might find it worth a look, but it will not move the broader field unless the prefactor issue is settled. It deserves a serious referee because the idea sits on solid prior work and is specific enough to check, even if revisions will be needed on the analytic side.

Referee Report

2 major / 2 minor

Summary. The paper develops a Gaussian model for the Alexander polynomial of an oriented knot in S^3. Building on Bar-Natan and Van der Veen, it uses the Heisenberg algebra together with a tensor-contraction formalism to associate a Gaussian function to the knot; a presentation matrix of the Alexander module is interpreted as the precision matrix of this Gaussian, and the partition function of the resulting Gaussian is claimed to recover Δ_K(T).

Significance. If the central identification holds with no residual normalization factors, the construction would supply a concrete Gaussian/tensor realization of the Alexander polynomial and extend the perturbed-Gaussian approach to universal invariants. The manuscript supplies an explicit tensor formalism and works over the Laurent polynomial ring, which are positive features; however, the result would be primarily interpretive rather than computational unless it yields new relations or faster algorithms.

major comments (2)

[§3] §3, Definition 3.4 and the subsequent partition-function formula: the standard Gaussian integral ∫ exp(−½ x^T A x) dx over R^n equals (2π)^{n/2} (det A)^{-1/2}. The text must exhibit an explicit cancellation (via Heisenberg contractions or tensor rules) that removes the dimension-dependent prefactor and the inverse square root, leaving precisely det(A) up to units ±t^k in Z[t^{±1}]. No such cancellation is verified for a general presentation matrix or even for the unknot.
[§2.3] §2.3, the identification of the Alexander presentation matrix with the Gaussian precision matrix: because the construction begins with an existing presentation matrix of the Alexander module and directly substitutes it as the precision matrix, it is unclear whether the tensor formalism supplies an independent derivation of Δ_K(T) or merely re-expresses the module data. A concrete check that the resulting partition function is independent of the choice of presentation (up to units) is required.

minor comments (2)

[§2.1] Notation for the Heisenberg algebra generators and their commutation relations is introduced without a self-contained summary; a short table or displayed relations would improve readability.
[Figure 1] Figure 1 (the tensor diagram for the trefoil) lacks labels on the contraction vertices; adding explicit indices or a caption explaining which tensors are contracted would clarify the diagram.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions planned for the next version.

read point-by-point responses

Referee: [§3] §3, Definition 3.4 and the subsequent partition-function formula: the standard Gaussian integral ∫ exp(−½ x^T A x) dx over R^n equals (2π)^{n/2} (det A)^{-1/2}. The text must exhibit an explicit cancellation (via Heisenberg contractions or tensor rules) that removes the dimension-dependent prefactor and the inverse square root, leaving precisely det(A) up to units ±t^k in Z[t^{±1}]. No such cancellation is verified for a general presentation matrix or even for the unknot.

Authors: We appreciate the referee highlighting this point. In the manuscript the partition function is defined via tensor contractions in the Heisenberg algebra rather than the classical Lebesgue integral over R^n; the algebraic rules are intended to produce det(A) directly. Nevertheless, an explicit verification of the cancellation for the unknot and for a general presentation matrix is not currently displayed. We will add this computation, working through the contractions step by step, in the revised version. revision: yes
Referee: [§2.3] §2.3, the identification of the Alexander presentation matrix with the Gaussian precision matrix: because the construction begins with an existing presentation matrix of the Alexander module and directly substitutes it as the precision matrix, it is unclear whether the tensor formalism supplies an independent derivation of Δ_K(T) or merely re-expresses the module data. A concrete check that the resulting partition function is independent of the choice of presentation (up to units) is required.

Authors: The tensor formalism supplies an interpretive and computational framework in which the contractions are performed according to the Heisenberg relations. Because any two presentation matrices of the same Alexander module are related by elementary operations that preserve the determinant up to units in Z[t^{±1}], the resulting partition function is independent of the chosen presentation. To make this explicit we will include a concrete check, for example by comparing two different presentations of the trefoil knot and verifying that the partition functions agree up to the expected units. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper introduces a tensor-contraction formalism over the Heisenberg algebra that associates a formal Gaussian to a knot presentation matrix and defines its partition function to recover the Alexander polynomial. This construction begins from the standard presentation matrix of the Alexander module (an external input from knot theory) and applies algebraic operations drawn from the Heisenberg algebra and tensor formalism, which are independent of the target polynomial. No step reduces the claimed recovery to a redefinition or fitted parameter by construction; the identification is presented as a consequence of the algebraic rules rather than an input assumption. The approach builds on prior work by Bar-Natan and Van der Veen but does not rely on self-citation for the central identification. The result is therefore a re-expression in new language rather than a tautological restatement.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The model rests on standard properties of the Heisenberg algebra and tensor contractions together with the interpretation of the Alexander module presentation matrix as a Gaussian precision matrix. No free parameters or new physical entities are introduced in the abstract.

axioms (1)

domain assumption The Heisenberg algebra and tensor-contraction formalism permit the association of a Gaussian function to a knot whose partition function recovers the Alexander polynomial.
Invoked directly in the abstract as the mechanism linking the algebraic data to the Gaussian model.

invented entities (1)

Gaussian function associated to the knot no independent evidence
purpose: To recover the Alexander polynomial as its partition function using the Alexander module presentation matrix as precision matrix.
New modeling object introduced by the paper; no independent falsifiable prediction is stated in the abstract.

pith-pipeline@v0.9.0 · 5601 in / 1403 out tokens · 49576 ms · 2026-05-21T17:11:03.447802+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a presentation matrix of the Alexander module plays the role of a precision matrix of the Gaussian function... partition function recovers Δ_K(T)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.17 (Contraction Theorem) ... det(fW) ... Wick’s rule

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 1 internal anchor

[1]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

work page
[2]

J. W. Alexander. Topological invariants of knots and links. Transactions of the American Mathematical Society , 30(2):275, 1928. doi:10.2307/1989123

work page doi:10.2307/1989123 1928
[3]

Awata, M

H. Awata, M. Noumi, and S. Odake. Heisenberg realization for U_q( sl _n) on the flag manifold . Letters in Mathematical Physics , 30:35--43, 1994. doi:10.1007/BF00761420

work page doi:10.1007/bf00761420 1994
[4]

J. Becerra. On Bar-Natan--van der Veen’s perturbed Gaussians . Revista de la Real Academia de Ciencias Exactas, F \' sicas y Naturales. Serie A. Matem \'a ticas , 118(2):46, 2024. doi:10.1007/s13398-023-01536-1

work page doi:10.1007/s13398-023-01536-1 2024
[5]

J. Becerra. A refined functorial universal tangle invariant, 2025. ://arxiv.org/abs/2501.17668

work page arXiv 2025
[6]

B. Bosch. The Large-Color Expansion Derived from the Universal Invariant , 2025, 2411.11569 http://arxiv.org/abs/2411.11569 . ://arxiv.org/abs/2411.11569

work page arXiv 2025
[7]

Bar-Natan and R

D. Bar-Natan and R. van der Veen. Perturbed G aussian generating functions for universal knot invariants, 2021. ://arxiv.org/abs/2109.02057

work page arXiv 2021
[8]

Bar-Natan and R

D. Bar-Natan and R. van der Veen. A Perturbed-Alexander Invariant , 2024. ://arxiv.org/abs/2206.12298

work page arXiv 2024
[9]

A. Overbay. Perturbative expansion of the colored Jones polynomial . 2013

work page 2013
[10]

Reshetikhin and V

N. Reshetikhin and V. G. Turaev. Ribbon graphs and their invariants derived from quantum groups. Comm. Math. Phys. , 127(1):1--26, 1990

work page 1990
[11]

V. G. Turaev. Quantum Invariants of Knots and 3-Manifolds . Walter de Gruyter, de gruyter studies in mathematics 18, 2nd ed. edition, 2010

work page 2010
[12]

H. Vo. On Meta-monoids and the Fox-Milnor Condition , 2017. ://arxiv.org/abs/1710.08993

work page internal anchor Pith review Pith/arXiv arXiv 2017

[1] [1]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

work page

[2] [2]

J. W. Alexander. Topological invariants of knots and links. Transactions of the American Mathematical Society , 30(2):275, 1928. doi:10.2307/1989123

work page doi:10.2307/1989123 1928

[3] [3]

Awata, M

H. Awata, M. Noumi, and S. Odake. Heisenberg realization for U_q( sl _n) on the flag manifold . Letters in Mathematical Physics , 30:35--43, 1994. doi:10.1007/BF00761420

work page doi:10.1007/bf00761420 1994

[4] [4]

J. Becerra. On Bar-Natan--van der Veen’s perturbed Gaussians . Revista de la Real Academia de Ciencias Exactas, F \' sicas y Naturales. Serie A. Matem \'a ticas , 118(2):46, 2024. doi:10.1007/s13398-023-01536-1

work page doi:10.1007/s13398-023-01536-1 2024

[5] [5]

J. Becerra. A refined functorial universal tangle invariant, 2025. ://arxiv.org/abs/2501.17668

work page arXiv 2025

[6] [6]

B. Bosch. The Large-Color Expansion Derived from the Universal Invariant , 2025, 2411.11569 http://arxiv.org/abs/2411.11569 . ://arxiv.org/abs/2411.11569

work page arXiv 2025

[7] [7]

Bar-Natan and R

D. Bar-Natan and R. van der Veen. Perturbed G aussian generating functions for universal knot invariants, 2021. ://arxiv.org/abs/2109.02057

work page arXiv 2021

[8] [8]

Bar-Natan and R

D. Bar-Natan and R. van der Veen. A Perturbed-Alexander Invariant , 2024. ://arxiv.org/abs/2206.12298

work page arXiv 2024

[9] [9]

A. Overbay. Perturbative expansion of the colored Jones polynomial . 2013

work page 2013

[10] [10]

Reshetikhin and V

N. Reshetikhin and V. G. Turaev. Ribbon graphs and their invariants derived from quantum groups. Comm. Math. Phys. , 127(1):1--26, 1990

work page 1990

[11] [11]

V. G. Turaev. Quantum Invariants of Knots and 3-Manifolds . Walter de Gruyter, de gruyter studies in mathematics 18, 2nd ed. edition, 2010

work page 2010

[12] [12]

H. Vo. On Meta-monoids and the Fox-Milnor Condition , 2017. ://arxiv.org/abs/1710.08993

work page internal anchor Pith review Pith/arXiv arXiv 2017