AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

5 papers

Operator Algebras · 5 matches
207math.OA

To a prime p and a subgroup E ≤ ℤₚ^(×) containing -1, Marashdeh attaches a nested chain of subspaces V₀ ⊆ V₁ ⊆ … of ℂᵖ, generated from the two point masses δ₀,δ₁ by the class matrices of the cyclotomic scheme and the diagonal idempotents of the basepoint pa…

Operator AlgebrasAI reviewed · Human review open
Contribute a review
Evidence summary

307 Lean theorems · 10 stated results · 4 source-labelled candidates. Lean build reported passed by the source. Inspect claims

146math.OA

For p>0 and positive semidefinite matrices X,Y, Komálovics and Molnár set XκₚY=(X^(p/4)Y^(p/2)X^(p/4))^(1/p) and dₚ(X,Y)=(Tr((X+Y)/2-XκₚY))^(1/2), a one-parameter family through the quantum Hellinger (p=1) and Bures (p=2) distances, and asked (their Problem…

Operator AlgebrasAI reviewed · Human review open
Contribute a review
Evidence summary

336 Lean theorems · 7 stated results · 6 source-labelled candidates. Lean build reported passed by the source. Inspect claims

099math.OA

Lim (arXiv:2601.13490) derives from a noncommutative Minkowski integral inequality a necessary condition for a fusion ring to be the Grothendieck ring of a unitary fusion category: for every triple of basis elements, every exponent 1 ≤ p<∞ and every nonnega…

Operator AlgebrasAI reviewed · Human review open
Contribute a review
Evidence summary

28 Lean theorems · 8 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

057math.OA

A permutation u of the discrete square [n]² is stable of rank one when u ⊗ 1 and 1 ⊗ u commute in S([n]³); by a theorem of Conti and Szymański the stable permutations are exactly those whose induced endomorphism of the Cuntz algebra Oₙ is an automorphism. B…

Operator AlgebrasAI reviewed · Human review open
Contribute a review
Evidence summary

62 Lean theorems · 24 stated results · 15 source-labelled candidates. Lean build reported passed by the source. Inspect claims

110math.OA

Eilers, Restorff, Ruiz and Sørensen close their geometric classification of graph C^*-algebras with an atlas of small graphs. A simple graph there is a finite directed graph with loops allowed and no multiple edges, and two such graphs with at most M vertic…

Operator AlgebrasAI reviewed · Human review open
Contribute a review
Evidence summary

203 Lean theorems · 14 stated results · 2 source-labelled candidates. Lean build reported passed by the source. Inspect claims