Effective subfactor theory

Alec Fox,Isaac Goldbring

2024-09-27

Abstract:We characterize when a subfactor $N\subseteq M$ is oracle computable relative to a presentation of the ambient factor $M$ in terms of computability of the Jones basic construction, in terms of computable Pismner-Popa bases, and in terms of computability of the conditional expectation map. We illustrate our main theorem with some examples.

Logic,Operator Algebras

What problem does this paper attempt to address?

Oracle computability of conditional expectations onto subfactors

Isaac Goldbring

DOI: https://doi.org/10.48550/arXiv.2002.02614

2020-02-07

Abstract:We initiate the effective study of conditional expectations onto subfactors. Our main result is that if $M$ is an existentially closed II$_1$ factor with a w-spectral gap subfactor $N$, then the conditional expectation function onto $N$ can be computed from a (Turing) oracle that computes a presentation of $M$, the inclusion of $N$ into $M$, and a spectral gap function for the pair $(M,N)$.

Operator Algebras,Logic
On a Subfactor Construction of a Factor Non Anti-Isomorphic to Itself

Maria Grazia Viola

DOI: https://doi.org/10.48550/arXiv.math/0110158

2004-07-23

Abstract:We give a subfactor construction for a $II_{1}$ factor M which is not anti-isomorphic to itself. The $II_{1}$ factor we consider is essentially the same as the example previously given by Connes. However, our construction uses the recently developed theory of free group factors. We show that there exists an inclusion of $II_{1}$ factors $A\subset B$ which by iteration of the Jones basic construction produces $M$ as the enveloping algebra. Here A is a free group factor and B is isomorphic to the crossed product of A by an action of a finite group. By using a Connes' argument involving the invariant $\chi (M)$, we verify that $M$ is not anti--isomorphic to itself. Publication of this manuscript is funded in part by the National Science Foundation. This material is based upon work supported by the National Science Foundation under Grant No. DMS--9810361.

Operator Algebras
On the paving size of a subfactor

Sorin Popa

2023-10-12

Abstract:Given an inclusion of II$_1$ factors $N\subset M$ with finite Jones index, $[M:N]<\infty$, we prove that for any $F\subset M$ finite and $\varepsilon >0$, there exists a partition of $1$ with $r\leq \lceil 16\varepsilon^{-2}\rceil$ $\cdot \lceil 4 [M:N]\varepsilon^{-2}\rceil$ projections $p_1, ..., p_r\in N$ such that $\|\sum_{i=1}^r p_ixp_i - E_{N'\cap M}(x)\|\leq \varepsilon \|x-E_{N'\cap M}(x)\|$, $\forall x\in F$ (where $\lceil \beta \rceil$ denotes the least integer $\geq \beta$). We consider a series of related invariants for $N\subset M$, generically called {\it paving size}.

Operator Algebras
Some applications of a new approach to factorization

Laura Cossu

2024-01-11

Abstract:As highlighted in a series of recent papers by Tringali and the author, fundamental aspects of the classical theory of factorization can be significantly generalized by blending the languages of monoids and preorders. Specifically, the definition of a suitable preorder on a monoid allows for the exploration of decompositions of its elements into (more or less) arbitrary factors. We provide an overview of the principal existence theorems in this new theoretical framework. Furthermore, we showcase additional applications beyond classical factorization, emphasizing its generality. In particular, we recover and refine a classical result by Howie on idempotent factorizations in the full transformation monoid of a finite set.

Rings and Algebras
Lattice of intermediate subalgebras

Keshab Chandra Bakshi,Ved Prakash Gupta

DOI: https://doi.org/10.1112/jlms.12492

2020-05-10

Abstract:Analogous to subfactor theory, employing Watatani's notions of index and $C^*$-basic construction of certain inclusions of $C^*$-algebras, (a) we develop a Fourier theory (consisting of Fourier transforms, rotation maps and shift operators) on the relative commutants of any inclusion of simple unital $C^*$-algebras with finite Watatani index, and (b) we introduce the notions of interior and exterior angles between intermediate $C^*$-subalgebras of any inclusion of unital $C^*$-algebras admitting a finite index conditional expectation. Then, on the lines of [2], we apply these concepts to obtain a bound for the cardinality of the lattice of intermediate $C^*$-subalgebras of any irreducible inclusion as in (a), and improve Longo's bound for the cardinality of intermediate subfactors of an inclusion of type $III$ factors with finite index. Moreover, we also show that for a fairly large class of inclusions of finite von Neumann algebras, the lattice of intermediate von Neumann subalgebras is always finite.

Operator Algebras,Functional Analysis
Relative position between a pair of spin model subfactors

Keshab Chandra Bakshi,Satyajit Guin

2023-07-30

Abstract:Jones proposed the study of two subfactors of a $II_1$ factor as a quantization of two closed subspaces in a Hilbert space. The Pimsner-Popa probabilistic constant, Sano-Watatani angle, interior and exterior angle, and Connes-Størmer relative entropy (along with a slight variant of it) are a few key invariants for pair of subfactors that analyze their relative position. In practice, however, the explicit computation of these invariants is often difficult. In this article, we provide an in-depth analysis of a special class of two subfactors, namely a pair of spin model subfactors of the hyperfinite type $II_1$ factor $R$. We first characterize when two distinct $n\times n$ complex Hadamard matrices give rise to distinct spin model subfactors. Then, a detailed investigation has been carried out for pairs of (Hadamard equivalent) complex Hadamard matrices of order $2\times 2$ as well as Hadamard inequivalent complex Hadamard matrices of order $4\times 4$. To the best of our knowledge, this article is the first instance in the literature where the exact value of the Pimsner-Popa probabilistic constant and the noncommutative relative entropy for pairs of (non-trivial) subfactors have been obtained. Furthermore, we prove the factoriality of the intersection of the corresponding pair of subfactors using the `commuting square technique'. En route, we construct an infinite family of potentially new subfactors of $R$. All these subfactors are irreducible with Jones index $4n,n\geq 2$. As a consequence, the rigidity of the interior angle between the spin model subfactors is established. Last but not least, we explicitly compute the Sano-Watatani angle between the spin model subfactors.

Operator Algebras,Information Theory,Functional Analysis
Computational aspects of subindices and subfactors with characterization of finite index stable groups

M.H. Hooshmand,M.M. Yousefian Arani

2023-10-05

Abstract:Recently, sub-indices and sub-factors of groups with connections to number theory, additive combinatorics, and factorization of groups have been introduced and studied. Since all group subsets are considered in the theory and there are many basic open problems, conjectures, and questions, their computational aspects are particularly important. In this paper, by introducing some computational methods and using theoretical approaches together, we not only solve several problems but also pave the way to study the topic. As the most important result of the study, we completely characterize finite index stable groups.

Group Theory
Assembly of Constructible Factorization Algebras

Eilind Karlsson,Claudia I. Scheimbauer,Tashi Walde

2024-09-02

Abstract:We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras. Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal $\infty$-categories. Additionally, we explain how to assemble constructible factorization algebras from the data on the individual strata together with module structures associated to the relative links; thus answering a question by Ayala. Along the way, we give detailed proofs of the following facts which are also of independent interest: constructibility is a local condition; the $\infty$-category of disks is a localization of any sufficiently fine poset of disks; constructibility implies the Weiss condition on disks; constructible factorization algebras are algebras for the $\infty$-operad of embedded disks. For each of these, variants or special cases already existed, but they were either incomplete or not general enough.

Algebraic Topology,Category Theory,Quantum Algebra
Free probability, Planar algebras, Subfactors and Random Matrices

D. Shlyakhtenko

DOI: https://doi.org/10.48550/arXiv.1009.0939

2010-09-06

Abstract:To a planar algebra P in the sense of Jones we associate a natural non- commutative ring, which can be viewed as the ring of non-commutative polynomials in several indeterminates, invariant under a symmetry encoded by P. We show that this ring carries a natural structure of a non-commutative probability space. Non-commutative laws on this space turn out to describe random matrix ensembles possessing special sym- metries. As application, we give a canonical construction of a subfactor and its symmetric enveloping algebra associated to a given planar algebra P. This talk is based on joint work with A. Guionnet and V. Jones.

Operator Algebras
Factorizing formal contexts from closures of necessity operators

Roberto G. Aragón,Jesús Medina,Eloísa Ramírez-Poussa

DOI: https://doi.org/10.1007/s40314-024-02590-0

2024-03-25

Computational and Applied Mathematics

Abstract:Factorizing datasets is an interesting process in a multitude of approaches, but many times it is not possible or efficient the computation of a factorization of the dataset. A method to obtain independent subcontexts of a formal context with Boolean data was proposed in Dubois and Prade based on the operators used in possibility theory. In this paper, we will analyze this method and study different properties related to the pairs of sets from which a factorization of a formal context arises. We also inspect how the properties given in the classical case can be extended to the fuzzy framework, which is essential to obtain a mechanism that allows the computation of independent subcontexts of a fuzzy context.

mathematics, applied
Graph planar algebra embeddings and infinite depth subfactors

Dietmar Bisch,Julio Cáceres

2024-10-19

Abstract:Subfactors of the hyperfinite II$_1$ factor with ''exotic'' properties can be constructed from nondegenerate commuting squares of multi-matrix algebras. We show that the subfactor planar algebra of these commuting square subfactors necessarily embeds into Jones' graph planar algebra associated to one of the inclusion graphs in the commuting square. This leads to a powerful obstruction for the standard invariant of the subfactor, and we use it to give an example of a hyperfinite subfactor with Temperley-Lieb-Jones standard invariant and index $\frac{5+\sqrt{13}}{2}$, i.e. the index of the Haagerup subfactor. We are led to a conjecture pertaining to Jones indices of irreducible, hyperfinite subfactors.

Operator Algebras
From subfactor planar algebras to subfactors

Vijay Kodiyalam,V. S. Sunder

DOI: https://doi.org/10.48550/arXiv.0807.3704

2008-07-24

Abstract:We present a purely planar algebraic proof of the main result of a paper of Guionnet-Jones-Shlaykhtenko which constructs an extremal subfactor from a subfactor planar algebra whose standard invariant is given by that planar algebra.

Operator Algebras
On subdirect factors of a projective module and applications to system theory

Mohamed Barakat

DOI: https://doi.org/10.1007/s11045-013-0258-z

2013-09-06

Abstract:We extend a result of Napp Avelli, van der Put, and Rocha with a system-theoretic interpretation to the noncommutative case: Let P be a f.g. projective module over a two-sided Noetherian domain. If P admits a subdirect product structure of the form P = M x_T L over a factor module T of grade at least 2 then the torsion-free factor of M (resp. L) is projective.

K-Theory and Homology,Commutative Algebra,Optimization and Control
Generating subdirect products

Peter Mayr,Nik Ruskuc

DOI: https://doi.org/10.1112/jlms.12221

2019-03-18

Abstract:We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ and $B$ over a common quotient $D$, and if $A$, $B$ and $D$ are finitely presented, then $C$ is finitely generated. For subdirect products of more than two factors we establish a general connection with projections on pairs of factors and higher commutators. More detailed results are provided for groups, loops, rings and $K$-algebras. In particular, let $C$ be a subdirect product of $K$-algebras $A_1,\dots,A_n$ for a Noetherian ring $K$ such that the projection of $C$ onto any $A_i\times A_j$ has finite co-rank in $A_i\times A_j$. Then $C$ is finitely generated (resp. finitely presented) if and only if all $A_i$ are finitely generated (resp. finitely presented). Finally, examples of semigroups and lattices are provided which indicate further complications as one ventures beyond congruence permutable varieties.

Rings and Algebras,Group Theory
Isbell's subfactor projections in a noetherian form

Kishan Dayaram,Amartya Goswami,Zurab Janelidze

2024-08-20

Abstract:In this paper, we revisit the 1979 work of Isbell on subfactors of groups and their projections, which he uses to establish a stronger formulation of the butterfly lemma and its consequence, the refinement theorem for subnormal series of subgroups. We point out an error in the second part of Isbell's refinement theorem, but show that the rest of his results can be extended to the general self-dual context of a noetherian form, which includes in its scope all semi-abelian categories as well as all Grandis exact categories. Furthermore, we show that Isbell's formulations of the butterfly lemma and the refinement theorem amount to canonicity of isomorphisms established in these results.

Group Theory
On subdifferential chain rule of matrix factorization and beyond

Jiewen Guan,Anthony Man-Cho So

2024-10-07

Abstract:In this paper, we study equality-type Clarke subdifferential chain rules of matrix factorization and factorization machine. Specifically, we show for these problems that provided the latent dimension is larger than some multiple of the problem size (i.e., slightly overparameterized) and the loss function is locally Lipschitz, the subdifferential chain rules hold everywhere. In addition, we examine the tightness of the analysis through some interesting constructions and make some important observations from the perspective of optimization; e.g., we show that for all this type of problems, computing a stationary point is trivial. Some tensor generalizations and neural extensions are also discussed, albeit they remain mostly open.

Optimization and Control,Machine Learning
A short note on relative entropy for a pair of intermediate subfactors

Keshab Chandra Bakshi

DOI: https://doi.org/10.48550/arXiv.2105.03914

2022-02-09

Abstract:Given a quadruple of finite index subfactors we explicitly compute the Pimsner-Popa probabilistic constant for the pair of intermediate subfactors and relate it with the corresponding Connes-Størmer relative entropy between them. This generalizes an old result of Pimsner and Popa.

Operator Algebras,Functional Analysis
An Angle Between Intermediate Subfactors and Its Rigidity

Keshab Chandra Bakshi,Sayan Das,Zhengwei Liu,Yunxiang Ren

DOI: https://doi.org/10.1090/tran/7738

IF: 1.3529

2018-01-01

Transactions of the American Mathematical Society

Abstract:We introduce a new notion of angle between intermediate subfactors and prove various interesting properties of the angle and relate it with the Jones' index. We prove a uniform 60 to 90 degree bound for the angle between minimal intermediate subfactors of a finite index irreducible subfactor. From this rigidity we can bound the number of minimal (or maximal) intermediate subfactors by the kissing number in geometry. As a consequence, the number intermediate subfactors of an irreducible subfactor has at most exponential growth with respect to the Jones index. This answers a question of Longo published in 2003.
Factorizations for quasi-Banach time-frequency spaces and Schatten classes

Divyang Bhimani,Joachim Toft

2024-05-11

Abstract:We deduce factorization properties for a quasi-Banach module over a quasi-Banach algebra. Especially we extend a result by Hewitt and prove that if any such algebra which possess a bounded left approximate identity, then any element in the module can be factorized. As applications, we deduce factorization properties for Wiener amalgam spaces, for an extended family of modulation spaces and for Schatten symbol classes in pseudo-differential calculus under multiplications like convolutions, twisted convolutions and symbolic products. For example we show for Wiener amalgam spaces that WL^{1,r}*WL^{p,q}=WL^{p,q} when r in (0,1], and p and q are finite and larger than r. In particular we improve Rudin's identity L^1*L^1=L^1.

Functional Analysis
Some asymptotic results on $p$-lengths of factorizations for numerical semigroups and arithmetical congruence monoids

Spencer Chapman,Eli B. Dugan,Shadi Gaskari,Emi Lycan,Sarah Mendoza De La Cruz,Christopher O'Neill,Vadim Ponomarenko

2024-11-26

Abstract:A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We introduce the notion of $p$-length, a generalized notion of factorization length obtained from the $\ell_p$-norm of the sequence $(z_1, \ldots, z_k)$, and present asymptotic results on extremal $p$-lengths of factorizations for large elements of numerical semigroups (additive submonoids of $\mathbb Z_{\ge 0}$) and arithmetical congruence monoids (certain multiplicative submonoids of $\mathbb Z_{\ge 1}$). Our results, inspired by analogous results for classical factorization length, demonstrate the types of combinatorial statements one may hope to obtain for sufficiently nice monoids, as well as the subtlety such asymptotic questions can have for general monoids.

Commutative Algebra,Combinatorics

Effective subfactor theory

Oracle computability of conditional expectations onto subfactors

On a Subfactor Construction of a Factor Non Anti-Isomorphic to Itself

On the paving size of a subfactor

Some applications of a new approach to factorization

Lattice of intermediate subalgebras

Relative position between a pair of spin model subfactors

Computational aspects of subindices and subfactors with characterization of finite index stable groups

Assembly of Constructible Factorization Algebras

Free probability, Planar algebras, Subfactors and Random Matrices

Factorizing formal contexts from closures of necessity operators

Graph planar algebra embeddings and infinite depth subfactors

From subfactor planar algebras to subfactors

On subdirect factors of a projective module and applications to system theory

Generating subdirect products

Isbell's subfactor projections in a noetherian form

On subdifferential chain rule of matrix factorization and beyond

A short note on relative entropy for a pair of intermediate subfactors

An Angle Between Intermediate Subfactors and Its Rigidity

Factorizations for quasi-Banach time-frequency spaces and Schatten classes

Some asymptotic results on $p$-lengths of factorizations for numerical semigroups and arithmetical congruence monoids