http://arxiv.org/api/vtQOHxN1/H5zvS2j2BSjMig1quM 2025-04-22T00:00:00-04:00 19732 60 15 http://arxiv.org/abs/2504.05821v1 2025-04-08T09:02:14Z 2025-04-08T09:02:14Z

The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly handy or friendly. In this note, we offer a novel realisation of the Hopf envelope and of the cofree Hopf algebra of a finite-dimensional bialgebra as a particular quotient and sub-bialgebra, respectively, of the bialgebra itself. Our construction can also be extended to the infinite-dimensional case, provided that the bialgebra satisfies additional conditions, such as being left Artinian as an algebra or admitting a $n$-antipode, the latter being a notion hereby introduced.

Alessandro Ardizzoni Claudia Menini Paolo Saracco http://arxiv.org/abs/2504.05656v1 2025-04-08T04:10:38Z 2025-04-08T04:10:38Z

Firstly, we introduce the notion of anti-pre-Novikov algebras as a new approach of splitting the Novikov algebras. The notions of anti-O-operators on Novikov algebras are developed to interpret anti-pre-Novikov algebras. Secondly, we introduce the notion of anti-pre-Novikov bialgebras as the bialgebra structures corresponding to a double constructions of symmetric quasi-Frobenius Novikov algebras, which are interpreted in terms of certain matched pairs of Novikov algebras as well as the compatible anti-pre-Novikov algebras. The study of coboundary cases leads to the introduction of the the anti-pre-Novikov Yang-Baxter equation (APN-YBE), whose skew-symmetric solutions give coboundary anti-pre-Novikov bialgebras. The notion of O-operators on anti-pre-Novikov algebras is studied to construct skew-symmetric solutions of the APN-YBE.

Qinxiu Sun Xingyu Zeng http://arxiv.org/abs/2504.05519v1 2025-04-07T21:28:22Z 2025-04-07T21:28:22Z

We prove that, in the setting of noncommutative differential geometry, a system of higher order connections is equivalent to a suitable generalization of the notion of phase space quantization (in the sense of Moyal star products on the symbol algebra). Moreover, we show that higher order connections are equivalent to (ordinary) connections on jet modules. This involves introducing the notion of natural linear differential operator, as well as an important family of examples of such operators, namely the Spencer operators, generalizing their corresponding classical analogues. Spencer operators form the building blocks of this theory by providing a method of converting between the different manifestations of higher order connections. A system of such higher order connections then gives a quantization, by which we mean a splitting of the quotient projection that defines symbols as classes of differential operators up to differential operators of lower order. This yields a notion of total symbol and of star product, the latter of which corresponds, when restricted to the classical setting, to phase space quantization in the context of quantum mechanics. In this interpretation, we allow the analogues of the position coordinates to form a possibly noncommutative algebra.

Keegan J. Flood Mauro Mantegazza Henrik Winther 46 pages http://arxiv.org/abs/2504.05374v1 2025-04-07T18:00:00Z 2025-04-07T18:00:00Z

We use the language of von Neumann subfactors to investigate non-invertible symmetries in two dimensions. A fusion categorical symmetry $\mathcal{C}$, its module category $\mathcal{M}$, and a gauging labeled by an algebra object $\mathcal{A}$ are encoded in the bipartite principal graph of a subfactor. The dual principal graph captures the quantum symmetry $\mathcal{C}'$ obtained by gauging $\mathcal{A}$ in $\mathcal{C}$, as well as a reverse gauging back to $\mathcal{C}$. From a given subfactor $N \subset M$, we derive a quiver diagram that encodes the representations of the associated non-invertible symmetry. We show how this framework provides necessary conditions for admissible gaugings, enabling the construction of generalized orbifold groupoids. To illustrate this strategy, we present three examples: Rep$(D_4)$ as a warm-up, the higher-multiplicity case Rep$(A_4)$ with its associated generalized orbifold groupoid and triality symmetry, and Rep$(A_5)$, where $A_5$ is the smallest non-solvable finite group. For applications to gapless systems, we embed these generalized gaugings as global manipulations on the conformal manifolds of $c=1$ CFTs and uncover new self-dualities in the exceptional $SU(2)_1/A_5$ theory. For $\mathcal{C}$-symmetric TQFTs, we use the subfactor-derived quiver diagrams to characterize gapped phases, describe their vacuum structure, and classify the recently proposed particle-soliton degeneracies.

Xingyang Yu Hao Y. Zhang 43 pages + an appendix, 13 tables, 24 figures http://arxiv.org/abs/2504.05247v1 2025-04-07T16:33:24Z 2025-04-07T16:33:24Z

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified framework that encloses the theory of compact quantum group actions. We also provide examples coming from semi-circular systems and from factorization homology. In the irreducible case, we establish conditions under which the C*-discrete and W*-discrete conditions are equivalent.

Lucas Hataishi Roberto Hernández Palomares 41 pages http://arxiv.org/abs/2503.23995v2 2025-04-07T11:28:32Z 2025-03-31T12:13:27Z

Let $\mathbb V=\bigoplus_{n\in\mathbb N}\mathbb V(n)$ be a $C_2$-cofinite VOA, not necessarily rational or self-dual. In this paper, we establish various versions of the sewing-factorization (SF) theorems for conformal blocks associated to grading-restricted generalized modules of $\mathbb V^{\otimes N}$ (where $N\in\mathbb N$). In addition to the versions announced in the Introduction of [GZ23], we prove the following coend version of the SF theorem: Let $\mathfrak F$ be a compact Riemann surface with $N$ incoming and $R$ outgoing marked points, and let $\mathfrak G$ be another compact Riemann surface with $K$ incoming and $R$ outgoing marked points. Assign $\mathbb W\in\mathrm{Mod}(\mathbb V^{\otimes N})$ and $\mathbb X\in\mathrm{Mod}(\mathbb V^{\otimes K})$ to the incoming marked points of $\mathfrak F$ and $\mathfrak G$ respectively. For each $\mathbb{M} \in \mathrm{Mod}(\mathbb{V}^{\otimes R})$, assign $\mathbb{M}$ and its contragredient $\mathbb M'$ to the outgoing marked points of $\mathfrak F$ and $\mathfrak G$ respectively. Denote the corresponding spaces of conformal blocks by $\mathscr T_{\mathfrak F}^*(\mathbb M\otimes\mathbb W)$ and $\mathscr T_{\mathfrak{G}}^*(\mathbb M'\otimes\mathbb X)$. Let the $\mathfrak X$ be the $(N+K)$-pointed surface obtained by sewing $\mathfrak F$, $\mathfrak G$ along their outgoing marked points. Then the sewing of conformal blocks-proved to be convergent in [GZ24]-yields an isomorphism of vector spaces $$\int^{\mathbb{M}\in\mathrm{Mod}(\mathbb V^{\otimes R})}\mathscr T_{\mathfrak F}^*(\mathbb M\otimes\mathbb{W})\otimes_{\mathbb C} \mathscr T_{\mathfrak G}^*(\mathbb M'\otimes \mathbb X)\simeq\mathscr T_{\mathfrak X}^*(\mathbb W\otimes \mathbb X)$$ We also discuss the relation between conformal blocks and the modular functors defined using Lyubashenko's coend in the case where $\mathbb V$ is strongly finite and rigid.

Bin Gui Hao Zhang 63 pages, 3 figures in the Introduction. Minor revision http://arxiv.org/abs/2411.07707v3 2025-04-07T11:24:42Z 2024-11-12T10:47:19Z

Let $\mathbb V=\bigoplus_{n\in\mathbb N}\mathbb V(n)$ be a $C_2$-cofinite vertex operator algebra. We prove the convergence of Segal's sewing of conformal blocks associated to analytic families of pointed compact Riemann surfaces and grading-restricted generalized $\mathbb V^{\otimes N}$-modules (where $N=1,2,\dots$) that are not necessarily tensor products of $\mathbb V$-modules, generalizing significantly the results on convergence in [Gui23]. We show that ``higher genus pseudo-$q$-traces" (called pseudo-sewing in this article) can be recovered from Segal's sewing. Therefore, our result on the convergence of Segal's sewing implies the convergence of pseudo-sewing, and hence covers both the convergence of genus-$0$ sewing in [HLZ12] and the convergence of pseudo-$q$-traces in [Miy04] and [Fio16]. Using a similar method, we also prove the convergence of Virasoro uniformization, i.e., the convergence of conformal blocks deformed by non-automomous meromorphic vector fields near the marked points. The local freeness of the analytic sheaves of conformal blocks is a consequence of this convergence. It will be used in the third paper of this series to prove the sewing-factorization theorem.

Bin Gui Hao Zhang 66 pages, 2 figures. Note the change of theorem and equation numbering from v1. Minor revision http://arxiv.org/abs/2501.03512v5 2025-04-05T15:09:50Z 2025-01-07T04:09:13Z

A constant number of random Clifford measurements allows the classical shadow protocol to perform direct fidelity estimation (DFE) with high precision. However, estimating properties of an unknown quantum state is expected to be more feasible with random Pauli measurements than with random Clifford measurements in the near future. Inspired by the importance sampling technique applied to sampling Pauli measurements for DFE, we show that similar strategies can be derived from classical shadows. Specifically, we describe efficient methods using only local Pauli measurements to perform DFE with GHZ, W, and Dicke states, establishing tighter bounds (by factor of $14.22$ and $16$ for GHZ and W, respectively) on the number of measurements required for desired precision. These protocols are derived by adjusting the distribution of observables. Notably, they require no preprocessing steps other than the sampling algorithms.

Hyunho Cha Jungwoo Lee 25 pages, 2 figures http://arxiv.org/abs/2209.12860v3 2025-04-05T04:22:59Z 2022-09-26T17:23:11Z

Recently, relative braid group actions on $\imath$quantum groups of arbitrary finite types have been constructed by Wang and the author. In this paper, we extend that construction to $\imath$quantum groups of Kac-Moody type. We formulate root vectors for $\imath$quantum groups in both recursive forms and closed $\imath$divided power forms. We show that the relative braid group symmetries send root vectors to root vectors.

Weinan Zhang 10.1007/s00029-023-00861-y v3, corrected formulas (3.17)-(3.18); 46 pages Selecta Mathematics (2023) 29:59 http://arxiv.org/abs/2409.03552v3 2025-04-05T03:39:14Z 2024-09-05T14:12:57Z

In this paper we first prove that the maximal ideal of the universal affine vertex operator algebra $V^k(sl_n)$ for $k=-n+\frac{n-1}{q}$ is generated by two singular vectors of conformal weight $3q$ if $n=3$, and by one singular vector of conformal weight $2q$ if $n\geq 4$. We next determine the associated varieties of the simple vertex operator algebras $L_k(sl_3)$ for all the non-admissible levels $k=-3+\frac{2}{2m+1}$, $m\geq 0$. The varieties of the associated simple affine $W$-algebras $W_k(sl_3,f)$, for nilpotent elements $f$ of $sl_3$, are also determined.

Cuipo Jiang Jingtian Song 10.1007/s00220-025-05291-9 39 pages Communications in Mathematical Physics, 2025, 406: 104 http://arxiv.org/abs/2503.18992v2 2025-04-04T22:35:43Z 2025-03-23T17:54:21Z

I report the existence of exactly one non-trivial solution to the equation $i(A,B)+i(A,\neg B)+i(\neg A,B)+i(\neg A,\neg B)= 0$, where $i(A,B)=\log\frac{P(A\text{ and }B)}{P(A)P(B)}$, and $P(A)$ is the probability of the proposition $A$. The equation specifies an information balance condition between two logical propositions, which is satisfied only by independence and by this new solution. The solution is a new elementary informational relationship between logical propositions, which we denote as $A \sim B$. The $\sim$ relation cannot be expressed as a relationship between probabilities without the use of complex numbers. It can, however, be greatly simplified by expressing each proposition as a combination of a question and an answer, for example, writing, ``All men are mortal'', as (Are all men mortal?, Yes). We will study the mathematics of questions and find out what role the $\sim$ relationship plays inside the algebra. We will find that, like propositions, questions can act on probability distributions. A proposition, $X$, can be given, setting $P(X)$ to 1. The question of $X$ can be raised, setting $P(X)$ to $1/2$. Giving the proposition adds information to the probability distribution, but raising the question takes information away. Introducing questions into probability theory makes it possible to represent subtraction of information as well as addition. We will examine how questions can be related to each other geometrically. Remarkably, the simplest way of orienting questions in space has the same structure as the simplest quantum system -- the two-state system. We will find that the essential mathematical structure of the two-state quantum system can be derived from the mathematics of questions, including non-commutativity, complementarity, wavefunction collapse, the Hilbert space representation and the Born rule, as well as quantum entanglement and non-locality.

R. O'Flanagan minor corrections, tables in appendices http://arxiv.org/abs/1905.09566v3 2025-04-04T14:20:29Z 2019-05-23T10:07:25Z

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.

Davide Gaiotto Theo Johnson-Freyd 37 pages. v3 corrects a nontrivial error http://arxiv.org/abs/2504.03266v1 2025-04-04T08:27:39Z 2025-04-04T08:27:39Z

A discrete group $G$ is called W*-superrigid if the group $G$ can be entirely recovered from the ambient group von Neumann algebra $L(G)$. We introduce an analogous notion for discrete quantum groups. We prove that this strengthened quantum W*-superrigidity property holds for a natural family of co-induced discrete quantum groups. We also prove that, remarkably, most existing families of W*-superrigid groups are not quantum W*-superrigid.

Milan Donvil Stefaan Vaes http://arxiv.org/abs/2210.09289v5 2025-04-04T04:32:04Z 2022-10-17T17:51:22Z

We prove a conjecture of L\^{e} and Sikora by providing a comparison between various existing $SL_n$ skein theories. While doing so, we show that the full subcategory of the spider category, $\mathcal{S}p(SL_n)$, defined by Cautis-Kamnitzer-Morrison, whose objects are monoidally generated by the standard representation and its dual, is equivalent as a spherical braided category to Sikora's quotient category. This also answers a question from Morrison's Ph.D. thesis. Finally, we show that the skein modules associated to the CKM and Sikora's webs are isomorphic.

Anup Poudel 30 pages, some changes made to the structure of the paper. To appear in Canadian Journal of Math http://arxiv.org/abs/2504.02266v2 2025-04-04T02:52:01Z 2025-04-03T04:26:43Z

We consider the Knizhnik-Zamolodchikov equations in Deligne Categories in the context of $(\mathfrak{gl}_m,\mathfrak{gl}_{n})$ and $(\mathfrak{so}_m,\mathfrak{so}_{2n})$ dualities. We derive integral formulas for the solutions in the first case and compute monodromy in both cases.

Pavel Etingof Ivan Motorin Alexander Varchenko Isaac Zhu