Table of Contents
Fetching ...

Intersection of conjugate Hadamard subfactors arising from Fourier matrices

Keshab Chandra Bakshi, Satyajit Guin, Guruprasad

TL;DR

The paper resolves how two conjugate Hadamard subfactors from the same Fourier-tensor class can intersect inside the hyperfinite II$_1$ factor. By combining vertex-model and Hadamard-subfactor machinery with crossed-product realizations, it derives an explicit finite Jones index for the intersection, $[R:R_U\cap R_V]=N^2/|H|$, where $|H|=\dim(\mathrm{Ad}_U(\Delta_N)\cap \mathrm{Ad}_V(\Delta_N))$, and identifies the relative commutant as $(\mathrm{Ad}_U(\Delta_N)\cap \mathrm{Ad}_V(\Delta_N))'\cap \mathbb{C}^N$. A sharp criterion determines when the intersection is a vertex model subfactor, and the paper shows that every admissible index of the form $N^2/|H|$ occurs. It also provides an exact Connes-Størmer entropy formula $h(R_U|R_V)=\frac{1}{N}\sum_{i,j}|(U^*V)_{ij}|^2\eta$, linking entropic behavior to the overlap of diagonal algebras via $U^*V$. Together, these results reveal how the internal algebraic structure of complex Hadamard matrices governs both the positional geometry and entropy of Hadamard intersections.

Abstract

Given two distinct complex Hadamard matrices belonging to the same equivalence class generated by the tensor products of Fourier matrices, we show that if the corresponding Hadamard subfactors are conjugate, then their intersection is a factor with finite Jones index. We compute the index of the intersection explicitly and determine its relative commutant. Furthermore, we precisely characterize when these intersections give rise to vertex model subfactors, thereby extending our earlier results in low dimensions. As an application, we derive an explicit formula for the Connes-Størmer relative entropy associated with these intersections. These results reveal how the internal algebraic structure of complex Hadamard matrices governs the relative position and entropic behaviour of the subfactors.

Intersection of conjugate Hadamard subfactors arising from Fourier matrices

TL;DR

The paper resolves how two conjugate Hadamard subfactors from the same Fourier-tensor class can intersect inside the hyperfinite II factor. By combining vertex-model and Hadamard-subfactor machinery with crossed-product realizations, it derives an explicit finite Jones index for the intersection, , where , and identifies the relative commutant as . A sharp criterion determines when the intersection is a vertex model subfactor, and the paper shows that every admissible index of the form occurs. It also provides an exact Connes-Størmer entropy formula , linking entropic behavior to the overlap of diagonal algebras via . Together, these results reveal how the internal algebraic structure of complex Hadamard matrices governs both the positional geometry and entropy of Hadamard intersections.

Abstract

Given two distinct complex Hadamard matrices belonging to the same equivalence class generated by the tensor products of Fourier matrices, we show that if the corresponding Hadamard subfactors are conjugate, then their intersection is a factor with finite Jones index. We compute the index of the intersection explicitly and determine its relative commutant. Furthermore, we precisely characterize when these intersections give rise to vertex model subfactors, thereby extending our earlier results in low dimensions. As an application, we derive an explicit formula for the Connes-Størmer relative entropy associated with these intersections. These results reveal how the internal algebraic structure of complex Hadamard matrices governs the relative position and entropic behaviour of the subfactors.
Paper Structure (8 sections, 13 theorems, 76 equations)

This paper contains 8 sections, 13 theorems, 76 equations.

Key Result

Theorem 2.2

Let $U \neq V$ be complex Hadamard matrices of order $n$. Then, $R_U=R_V$ if and only if $U \sim V$. Therefore, if $U$ and $V$ are Hadamard inequivalent, that is, $U \not\simeq V$, then the corresponding Hadamard subfactors $R_U\subset R$ and $R_V \subset R$ are always distinct.

Theorems & Definitions (16)

  • Definition 2.1
  • Theorem 2.2: Theorem $4.7$, BG1)
  • Definition 2.3: JSBINA
  • Theorem 3.1: BGG2, Theorem 4.1
  • Proposition 3.2: Theorem $5.2$, BGG2
  • Lemma 4.2
  • Lemma 4.3
  • Proposition 4.4
  • Lemma 4.5
  • Proposition 4.6
  • ...and 6 more