Table of Contents
Fetching ...

Weingarten calculus for centered random permutation matrices

Benoît Collins, Manasa Nagatsu

TL;DR

This work develops a Weingarten calculus tailored to centered random permutation matrices in $S_N$, revealing that a core building block is the quantity $a_k(N)$ connected to Kummer's confluent hypergeometric function. It provides a centered Weingarten formula with explicit combinatorial structure, establishes sign properties, and derives precise asymptotics that enhance understanding of moment decay and strong convergence phenomena. The paper also introduces recursive reduction techniques to simplify integrals to cases with $\Pi_{\mathbf{i}} \wedge \Pi_{\mathbf{j}}=0_k$, and constructs nontrivial uniform and nonuniform bounds that illuminate limitations in moment control for centered permutations. Collectively, these results deepen the algebraic and asymptotic analysis of moments of random permutations and clarify their role in related probabilistic and graph-theoretic contexts.

Abstract

We introduce and study the Weingarten calculus for centered random permutation matrices in the symmetric group S_N. After presenting a formulation of the Weingarten calculus on the symmetric group, we derive a formula in the centered case, as well as a sign-respecting formula. Our investigations uncover the fact that a building block of this Weingarten calculus is Kummer's confluent hypergeometric function. It allows us to derive multiple algebraic properties of the Weingarten function and uniform estimate. These results shed a conceptual light on phenomena that take place regarding the algebraic and asymptotic behavior of moments of random permutations in the resolution of Bordenave and Bordenave-Collins of strong convergence. We obtain multiple new non-trivial estimates for moments of coefficients in centered moments.

Weingarten calculus for centered random permutation matrices

TL;DR

This work develops a Weingarten calculus tailored to centered random permutation matrices in , revealing that a core building block is the quantity connected to Kummer's confluent hypergeometric function. It provides a centered Weingarten formula with explicit combinatorial structure, establishes sign properties, and derives precise asymptotics that enhance understanding of moment decay and strong convergence phenomena. The paper also introduces recursive reduction techniques to simplify integrals to cases with , and constructs nontrivial uniform and nonuniform bounds that illuminate limitations in moment control for centered permutations. Collectively, these results deepen the algebraic and asymptotic analysis of moments of random permutations and clarify their role in related probabilistic and graph-theoretic contexts.

Abstract

We introduce and study the Weingarten calculus for centered random permutation matrices in the symmetric group S_N. After presenting a formulation of the Weingarten calculus on the symmetric group, we derive a formula in the centered case, as well as a sign-respecting formula. Our investigations uncover the fact that a building block of this Weingarten calculus is Kummer's confluent hypergeometric function. It allows us to derive multiple algebraic properties of the Weingarten function and uniform estimate. These results shed a conceptual light on phenomena that take place regarding the algebraic and asymptotic behavior of moments of random permutations in the resolution of Bordenave and Bordenave-Collins of strong convergence. We obtain multiple new non-trivial estimates for moments of coefficients in centered moments.

Paper Structure

This paper contains 12 sections, 11 theorems, 75 equations.

Key Result

Theorem 2.1

For any $k \geq 1$ and given indices $\mathbf{i}=(i_1,\dots,i_k)$ and $\mathbf{j}=(j_1,\dots,j_k)$, where $i_1,\dots,i_k, j_1, \dots,j_k \in \{1,2, \ldots, N\}$, there exists some Weingarten function $\mathop{\mathrm{Wg}}\nolimits_k$ so that (Note that the integral $\mathrm{d} g$ runs over the normalized Haar measure on $S_N$.) Moreover, we have the following explicit formula for $\mathop{\mathrm

Theorems & Definitions (27)

  • Theorem 2.1
  • proof
  • Corollary 2.2
  • Corollary 2.3
  • proof
  • Theorem 3.1
  • proof
  • Remark 3.2
  • Proposition 3.3
  • proof
  • ...and 17 more