Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.07718

The effect of edge deletion on noncommutative distances on graphs

Eric Swartz
View original source ↗Read source document ↗Export metadata ↓

Abstract

For a Dirac operator $D$ on a finite weighted graph, let $d^D$ denote the associated noncommutative (Connes) distance. We show that deleting an edge can actually decrease the noncommutative distance between two vertices in the graph. The smallest example of this phenomenon comes from a weighted 4-cycle, and the case of deleting an edge from a weighted 4-cycle is determined completely: if $d^{D'}$ denotes the noncommutative distance in the graph after edge deletion, we prove that $\sup d^D/d^{D'} = 2/\sqrt{3}$ for the $4$-cycle, and further that this upper bound holds for all graphs. On the other hand, we show that deleting an edge can decrease the noncommutative distance between two vertices of an $n$-cycle precisely when $n$ is divisible by $4$. In cases when a deleted edge decreases the noncommutative distance between two vertices $x$ and $y$, we show that the deleted edge need not be incident to either of the vertices $x$ or $y$, and in fact the deleted edge can be arbitrarily far from both in the graph-theoretic (number of edges) distance and in the weighted (geodesic) distance. Moreover, deletion of a single vertex arbitrarily far from both $x$ and $y$ in either the graph-theoretic or weighted distance can change $d^D(x,y)$ by an arbitrarily large factor.

Explore related subjects

math.OAmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eric Swartz. 2026-10-06. The effect of edge deletion on noncommutative distances on graphs. https://arxiv.org/abs/2610.07718

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Distances Between von Neumann Subalgebras: Spin Models, Commuting Squares, and Free Group Factors

We investigate the relative position of von Neumann subalgebras through the Mashood--Taylor ($\mathrm{d}_{\mathrm{MT}}$) and Kadison--Kastler ($\mathrm{d}_{\mathrm{KK}}$) distances and the interior angle. For each $n\in\mathbb{N}$, we show that the hyperfinite $\mathrm{II}_1$-factor $\mathscr{R}$ contains an uncountable family of pairwise distinct regular $n\times n$ spin model subfactors. In particular, this yields a continuous family $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ of $2\times2$ spin model subfactors which, equipped with $\mathrm{d}_{\mathrm{MT}}$, is homeomorphic to the circle group $\mathbb{T}$ and admits a natural topological group structure. We further establish \[ \mathrm{d}_{\mathrm{MT}}(\mathscr{R}_{\mathsf{H}_α},\mathscr{R}_{\mathsf{H}_β}) =\vert\sin(α-β)\vert. \] We prove that two such spin model subfactors form a commuting square over their intersection if and only if they are maximally distant. More generally, commuting squares of $\mathrm{II}_1$-factors, under natural index conditions, force maximal distance, yielding $\mathrm{d}_{\mathrm{KK}}=1=\mathrm{d}_{\mathrm{MT}}$. We also show that diffuse subalgebras which are orthogonal in the sense of Popa are maximally distant. In contrast, no two members of the above spin model family are Popa-orthogonal. Nevertheless, maximal distance between two such subfactors implies that their interior angle over the intersection is $π/2$, highlighting the distinction between angle orthogonality and Popa orthogonality. Finally, in $L(\mathbb{F}_2)=L(\langle a,b\rangle)$, for $u\in L(\langle b\rangle)$, we obtain \[ \mathrm{d}_{\mathrm{MT}}(L(\langle a\rangle),uL(\langle a\rangle)u^*) =\sqrt{1-\vertτ(u)\vert^4}, \] and construct maximally distant masas not arising from subgroups of $\mathbb{F}_2$.

math.OA↗
arXiv2026

Three-Point Trace Positivity:Schatten Norm Compression and Interpolating Metrics

Let $(\mathcal N,ν)$ be a finite tracial von Neumann algebra and set $\mathcal{K}_r(P,Q)=ν((P^{1/2}QP^{1/2})^r)$. We prove that $$ [\mathcal{K}_r(P_i,P_j)]_{i,j=1}^3\ge0, \qquad 1/2\le r\le1. $$ The range $1/2<r<1$ is new even for matrices, and order three is sharp for $1/2\le r<1$. This single mechanism resolves two problems. First, if $(\mathcal R,ω)$ is finite tracial and $H=[H_{ij}]_{i,j=1}^3\in M_3(\mathcal R)_+$, then $$ [ω(|H_{ij}|^p)]_{i,j=1}^3\ge0, \qquad 1\le p\le2, $$ settling the Lin--van den Driessche conjecture on Schatten norm compression. Second, for a semifinite tracial von Neumann algebra $(\mathcal M,τ)$, define $$ d_t(A,B)^2=\frac{τ(A)+τ(B)}2- \|B^{t/4}A^{t/4}\|_{2/t}^{2/t}. $$ We prove that $d_t$ is a complete metric on $L^1(\mathcal M,τ)_+$ for $1\le t\le2$, including the previously open range $1<t<2$ between the Hellinger and Bures endpoints, and that $$ d_t\text{ is a metric on }L^1(\mathcal M,τ)_+ \quad\Longleftrightarrow\quad t\in[1,2]\ \text{or}\ \mathcal M\text{ is abelian}. $$ Its topology and Cauchy sequences agree with those of $L^1$. The same classification holds for unital tracial $C^*$-algebras and, with the known $t=0$ obstruction, resolves Problem~2 of Komálovics and Molnár.

math.OA↗
arXiv2026

Banach non-isomorphism of type III and semifinite noncommutative $L_p$-spaces

Let $M$ be a nonzero type III von Neumann algebra with separable predual, and let $N$ be a semifinite von Neumann algebra. We prove that $M_*$ is not isomorphic to a subspace of $N_*$. For $1<p<\infty$, $p\ne2$, we prove that $L_p(M)$ is not isomorphic to a complemented subspace of $L_p(N)$. In particular, the Banach isomorphism class of $L_p(M)$ distinguishes type III algebras from semifinite algebras for $1\le p<\infty$, $p\ne2$.

math.OA↗