Showing 1–16 of 16 results for author: Charlesworth, I

The atoms of graph product von Neumann algebras

Authors: Ian Charlesworth, David Jekel

Abstract: We completely classify the atomic summands in a graph product $(M,\varphi) = *_{v \in \mathcal{G}} (M_v,\varphi_v)$ of von Neumann algebras with faithful normal states. Each type I factor summand $(N,ψ)$ is a tensor product of type I factor summands $(N_v,ψ_v)$ in the individual algebras. The existence of such a summand and its weight in the direct sum can be determined from the $(N_v,ψ_v)$'s usin… ▽ More We completely classify the atomic summands in a graph product $(M,\varphi) = *_{v \in \mathcal{G}} (M_v,\varphi_v)$ of von Neumann algebras with faithful normal states. Each type I factor summand $(N,ψ)$ is a tensor product of type I factor summands $(N_v,ψ_v)$ in the individual algebras. The existence of such a summand and its weight in the direct sum can be determined from the $(N_v,ψ_v)$'s using explicit polynomials associated to the graph. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Comments: 22 pages

MSC Class: 46L10; 46L54; 05C25; 05C31

Operator models and analytic subordination for operator-valued free convolution powers

Authors: Ian Charlesworth, David Jekel

Abstract: We revisit the theory of operator-valued free convolution powers given by a completely positive map $η$. We first give a general result, with a new analytic proof, that the $η$-convolution power of the law of $X$ is realized by $V^*XV$ for any operator $V$ satisfying certain conditions, which unifies Nica and Speicher's construction in the scalar-valued setting and Shlyakhtenko's construction in t… ▽ More We revisit the theory of operator-valued free convolution powers given by a completely positive map $η$. We first give a general result, with a new analytic proof, that the $η$-convolution power of the law of $X$ is realized by $V^*XV$ for any operator $V$ satisfying certain conditions, which unifies Nica and Speicher's construction in the scalar-valued setting and Shlyakhtenko's construction in the operator-valued setting. Second, we provide an analog, for the setting of $η$-valued convolution powers, of the analytic subordination for conditional expectations that holds for additive free convolution. Finally, we describe a Hilbert-space manipulation that explains the equivalence between the $n$-fold additive free convolution and the convolution power with respect to $η= n \operatorname{id}$. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Comments: 16 pages

MSC Class: 46L54

On the structure of graph product von Neumann algebras

Authors: Ian Charlesworth, Rolando de Santiago, Ben Hayes, David Jekel, Srivatsav Kunnawalkam Elayavalli, Brent Nelson

Abstract: We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a c… ▽ More We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a complete classification of when two subalgebras coming from induced subgraphs can be amenable relative to each other. We also give complete characterizations of when the graph product can be full, diffuse, or a factor. Our results are obtained in a broad generality, and we emphasize that they are new even in the tracial setting. They also allow us to deduce new results about when graph products of groups can be amenable relative to each other. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Random permutation matrix models for graph products

Authors: Ian Charlesworth, Rolando de Santiago, Ben Hayes, David Jekel, Brent Nelson, Srivatsav Kunnawalkam Elayavalli

Abstract: Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof th… ▽ More Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic. △ Less

Submitted 25 September, 2024; v1 submitted 10 April, 2024; originally announced April 2024.

Comments: 29 pages, multiple figures. Minor replacements, correcting typos etc. arXiv admin note: substantial text overlap with arXiv:2305.19463

Strong 1-boundedness, $L^2$-Betti numbers, algebraic soficity, and graph products

Authors: Ian Charlesworth, Rolando de Santiago, Ben Hayes, David Jekel, Srivatsav Kunnawalkam Elayavalli, Brent Nelson

Abstract: We show that graph products of non trivial finite dimensional von Neumann algebras are strongly 1-bounded when the underlying *-algebra has vanishing first L2-Betti number. The proof uses a combination of the following two key ideas to obtain lower bounds on the Fuglede-Kadison determinant of matrix polynomials in a generating set: a notion called ''algebraic soficity'' for *-algebras allowing for… ▽ More We show that graph products of non trivial finite dimensional von Neumann algebras are strongly 1-bounded when the underlying *-algebra has vanishing first L2-Betti number. The proof uses a combination of the following two key ideas to obtain lower bounds on the Fuglede-Kadison determinant of matrix polynomials in a generating set: a notion called ''algebraic soficity'' for *-algebras allowing for the existence of Galois bounded microstates with asymptotically constant diagonals; a probabilistic construction of the authors of permutation models for graph independence over the diagonal. △ Less

Submitted 8 April, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: Comments welcome. Original paper split in two pieces. RMT portion to be posted separately

On Free Stein Dimension

Authors: Ian Charlesworth, Brent Nelson

Abstract: We establish several properties of the free Stein dimension, an invariant for finitely generated unital tracial $*$-algebras. We give formulas for its behaviour under direct sums and tensor products with finite dimensional algebras. Among a given set of generators, we show that (approximate) algebraic relations produce (non-approximate) bounds on the free Stein dimension. Particular treatment is g… ▽ More We establish several properties of the free Stein dimension, an invariant for finitely generated unital tracial $*$-algebras. We give formulas for its behaviour under direct sums and tensor products with finite dimensional algebras. Among a given set of generators, we show that (approximate) algebraic relations produce (non-approximate) bounds on the free Stein dimension. Particular treatment is given to the case of separable abelian von Neumann algebras, where we show that free Stein dimension is a von Neumann algebra invariant. In addition, we show that under mild assumptions $L^2$-rigidity implies free Stein dimension one. Finally, we use limits superior/inferior to extend the free Stein dimension to a von Neumann algebra invariant -- which is substantially more difficult to compute in general -- and compute it in several cases of interest. △ Less

Submitted 4 January, 2022; v1 submitted 31 December, 2021; originally announced January 2022.

Comments: 22 pages

MSC Class: 46L54

Distortion for multifactor bimodules and representations of multifusion categories

Authors: Marcel Bischoff, Ian Charlesworth, Samuel Evington, Luca Giorgetti, David Penneys

Abstract: We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $\rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $\rm II_1$ multifactor inclusions $A\subset B$ in terms of the standard invariant (a unitary planar alg… ▽ More We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $\rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $\rm II_1$ multifactor inclusions $A\subset B$ in terms of the standard invariant (a unitary planar algebra), together with the restriction to $A$ of the unique Markov trace on $B$. The latter determines the modular distortion of the associated bimodule. Three crucial ingredients are Popa's uniqueness theorem for such inclusions which are also homogeneous, for which the standard invariant is a complete invariant, a generalized version of the Ocneanu Compactness Theorem, and the notion of Morita equivalence for inclusions. Second, we classify fully faithful representations of unitary multifusion categories into bimodules over hyperfinite $\rm II_1$ multifactors in terms of the modular distortion. Every possible distortion arises from a representation, and we characterize the proper subset of distortions that arise from connected $\rm II_1$ multifactor inclusions. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: 71 pages, many figures

MSC Class: 46L37; 18M20 Primary; 18M30; 18N10 Secondary

Journal ref: Doc. Math. 30 (2025) 497-586

Matrix models for $\varepsilon$-free independence

Authors: Ian Charlesworth, Benoît Collins

Abstract: We investigate tensor products of random matrices, and show that independence of entries leads asymptotically to $\varepsilon$-free independence, a mixture of classical and free independence studied by Młotkowski and by Speicher and Wysoczański. The particular $\varepsilon$ arising is prescribed by the tensor product structure chosen, and conversely, we show that with suitable choices an arbitrary… ▽ More We investigate tensor products of random matrices, and show that independence of entries leads asymptotically to $\varepsilon$-free independence, a mixture of classical and free independence studied by Młotkowski and by Speicher and Wysoczański. The particular $\varepsilon$ arising is prescribed by the tensor product structure chosen, and conversely, we show that with suitable choices an arbitrary $\varepsilon$ may be realized in this way. As a result we obtain a new proof that $\mathcal{R}^ω$-embeddability is preserved under graph products of von Neumann algebras, along with an explicit recipe for constructing matrix models. △ Less

Submitted 21 October, 2019; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: 10 pages; comments welcome

Journal ref: Archiv der Mathematik (2021), 1-16

Analogues of Entropy in Bi-Free Probability Theory: Microstates

Authors: Ian Charlesworth, Paul Skoufranis

Abstract: In this paper, we extend the notion of microstate free entropy to the bi-free setting. In particular, using the bi-free analogue of random matrices, microstate bi-free entropy is defined. Properties essential to an entropy theory are developed, such as the behaviour of the entropy when transformations on the left variables or on the right variables are performed. In addition, the microstate bi-fre… ▽ More In this paper, we extend the notion of microstate free entropy to the bi-free setting. In particular, using the bi-free analogue of random matrices, microstate bi-free entropy is defined. Properties essential to an entropy theory are developed, such as the behaviour of the entropy when transformations on the left variables or on the right variables are performed. In addition, the microstate bi-free entropy is demonstrated to be additive over bi-free collections provided additional regularity assumptions are included and is computed for all bi-free central limit distributions. Moreover, an orbital version of bi-free entropy is examined which provides a tighter upper bound for the subadditivity of microstate bi-free entropy and provides an alternate characterization of bi-freeness in certain settings. △ Less

Submitted 29 September, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: (new version contains corrections, orbital bi-free entropy, and a new characterization of bi-freenness)

MSC Class: 46L54; 46L53; 47B80; 94A17

Journal ref: International Mathematics Research Notices, 2021; rnab279

Analogues of Entropy in Bi-Free Probability Theory: Non-Microstate

Authors: Ian Charlesworth, Paul Skoufranis

Abstract: In this paper, we extend the notion of non-microstate free entropy to the bi-free setting. Using a diagrammatic approach involving bi-non-crossing diagrams, bi-free difference quotients are constructed as analogues of the free partial derivations. Adjoints of bi-free difference quotients are discussed and used to define bi-free conjugate variables. Notions of bi-free Fisher information and non-mic… ▽ More In this paper, we extend the notion of non-microstate free entropy to the bi-free setting. Using a diagrammatic approach involving bi-non-crossing diagrams, bi-free difference quotients are constructed as analogues of the free partial derivations. Adjoints of bi-free difference quotients are discussed and used to define bi-free conjugate variables. Notions of bi-free Fisher information and non-microstate entropy are defined and properties of free entropy are extended to the bi-free setting. △ Less

Submitted 29 April, 2019; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: New version adds a section on non-microstate bi-free entropy dimension

MSC Class: 46L54; 46L53

Journal ref: Advances in Mathematics 375 (2020), 107367

Free Stein Irregularity and Dimension

Authors: Ian Charlesworth, Brent Nelson

Abstract: We introduce a free probabilistic quantity called free Stein irregularity, which is defined in terms of free Stein discrepancies. It turns out that this quantity is related via a simple formula to the Murray--von Neumann dimension of the closure of the domain of the adjoint of the non-commutative Jacobian associated to Voiculescu's free difference quotients. We call this dimension the free Stein d… ▽ More We introduce a free probabilistic quantity called free Stein irregularity, which is defined in terms of free Stein discrepancies. It turns out that this quantity is related via a simple formula to the Murray--von Neumann dimension of the closure of the domain of the adjoint of the non-commutative Jacobian associated to Voiculescu's free difference quotients. We call this dimension the free Stein dimension, and show that it is a $*$-algebra invariant. We relate these quantities to the free Fisher information, the non-microstates free entropy, and the non-microstates free entropy dimension. In the one-variable case, we show that the free Stein dimension agrees with the free entropy dimension, and in the multivariable case compute it in a number of examples. △ Less

Submitted 29 August, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: 22 pages; we expand the scope of the paper and include additional results; comments welcome

MSC Class: 46L54

Simultaneous upper triangular forms for commuting operators in a finite von Neumann algebra

Authors: Ian Charlesworth, Ken Dykema, Fedor Sukochev, Dmitriy Zanin

Abstract: The joint Brown measure and joint Haagerup--Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are investigated, and several natural properties are proved for these. It is shown that the support of the joint Brown measure is contained in the Taylor joint spectrum of the tuple, and also in the ostensibly smaller left Harte spectrum.… ▽ More The joint Brown measure and joint Haagerup--Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are investigated, and several natural properties are proved for these. It is shown that the support of the joint Brown measure is contained in the Taylor joint spectrum of the tuple, and also in the ostensibly smaller left Harte spectrum. A simultaneous upper triangularization result for finite commuting tuples is proved and the joint Brown measure and joint Haagerup--Schultz projections are shown to be have well under the Arens multivariate holomorphic functional calculus of such a commuting tuple. △ Less

Submitted 12 May, 2019; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: 58 pages. In version 3, some small improvements and corrections have been made. To appear in Canadian J. Math

MSC Class: 47C15; 47A60

An alternating moment condition for bi-freeness

Authors: Ian Charlesworth

Abstract: In this note we demonstrate an equivalent condition for bi-freeness, inspired by the well-known "vanishing of alternating centred moments" condition from free probability. We show that all products satisfying a centred condition on maximal monochromatic χ-intervals have vanishing moments if and only if the family of pairs of faces they come from is bi-free, and show that similar characterisations… ▽ More In this note we demonstrate an equivalent condition for bi-freeness, inspired by the well-known "vanishing of alternating centred moments" condition from free probability. We show that all products satisfying a centred condition on maximal monochromatic χ-intervals have vanishing moments if and only if the family of pairs of faces they come from is bi-free, and show that similar characterisations hold for the amalgamated and conditional settings. In addition, we construct a bi-free unitary Brownian motion and show that conjugation by this process asymptotically creates bi-freeness; these considerations lead to another characterisation of bi-free independence. △ Less

Submitted 8 February, 2019; v1 submitted 4 November, 2016; originally announced November 2016.

Comments: Updated to accepted manuscript. 15 pages, 4 figures. Comments welcome

Journal ref: Adv. Math. 346 (2019), 546-568

Combinatorics of Bi-Freeness with Amalgamation

Authors: Ian Charlesworth, Brent Nelson, Paul Skoufranis

Abstract: In this paper, we develop the theory of bi-freeness in an amalgamated setting. We construct the operator-valued bi-free cumulant functions, and show that the vanishing of mixed cumulants is necessary and sufficient for bi-free independence. Further, we develop a multiplicative convolution for operator-valued random variables and explore ways to construct bi-free pairs of B-faces. In this paper, we develop the theory of bi-freeness in an amalgamated setting. We construct the operator-valued bi-free cumulant functions, and show that the vanishing of mixed cumulants is necessary and sufficient for bi-free independence. Further, we develop a multiplicative convolution for operator-valued random variables and explore ways to construct bi-free pairs of B-faces. △ Less

Submitted 14 August, 2014; originally announced August 2014.

Comments: 35 pages

Journal ref: Communications in Mathematical Physics 338 (2015), 801-847

Regularity of Polynomials in Free Variables

Authors: I. Charlesworth, D. Shlyakhtenko

Abstract: We show that the spectral measure of any non-commutative polynomial of a non-commutative $n$-tuple cannot have atoms if the free entropy dimension of that $n$-tuple is $n$ (see also work of Mai, Speicher, and Weber). Under stronger assumptions on the $n$-tuple, we prove that the spectral measure is not singular, and measures of intervals surrounding any point may not decay slower than polynomially… ▽ More We show that the spectral measure of any non-commutative polynomial of a non-commutative $n$-tuple cannot have atoms if the free entropy dimension of that $n$-tuple is $n$ (see also work of Mai, Speicher, and Weber). Under stronger assumptions on the $n$-tuple, we prove that the spectral measure is not singular, and measures of intervals surrounding any point may not decay slower than polynomially as a function of the interval's length. △ Less

Submitted 7 August, 2015; v1 submitted 4 August, 2014; originally announced August 2014.

Comments: The second version (joint with I. Charlesworth) considerably improves our previous results. The main new result is non-singularity of the spectral measure of a non-commutative polynomial of n variables under assumptions of existence of Voiculescu's dual system

MSC Class: 46L54

On two-faced families of non-commutative random variables

Authors: Ian Charlesworth, Brent Nelson, Paul Skoufranis

Abstract: We demonstrate that the notions of bi-free independence and combinatorial-bi-free independence of two-faced families are equivalent using a diagrammatic view of bi-non-crossing partitions. These diagrams produce an operator model on a Fock space suitable for representing any two-faced family of non-commutative random variables. Furthermore, using a Kreweras complement on bi-non-crossing partitions… ▽ More We demonstrate that the notions of bi-free independence and combinatorial-bi-free independence of two-faced families are equivalent using a diagrammatic view of bi-non-crossing partitions. These diagrams produce an operator model on a Fock space suitable for representing any two-faced family of non-commutative random variables. Furthermore, using a Kreweras complement on bi-non-crossing partitions we establish the expected formulas for the multiplicative convolution of a bi-free pair of two-faced families. △ Less

Submitted 23 November, 2014; v1 submitted 19 March, 2014; originally announced March 2014.

Comments: Revised for publication

Journal ref: Can. J. Math.-J. Can. Math. 67 (2015) 1290-1325