https://arxiv.org/api/QuahVM/yjojZuOA9Wq6pljCvy7U 2026-06-14T18:24:18Z 20897 435 15 http://arxiv.org/abs/2603.19130v1 2026-03-19T16:49:13Z

Quantum block encoding (QBE) is a crucial step in the development of most quantum algorithms, as it provides an embedding of a given matrix into a suitable larger unitary matrix. Historically, the development of efficient techniques for QBE has mostly focused on sparse matrices; less effort has been devoted to data-sparse (e.g., rank-structured) matrices. In this work we examine a particular case of rank structure, namely, one-pair semiseparable matrices. We present a new block encoding approach that relies on a suitable factorization of the given matrix as the product of triangular and diagonal factors. To encode the matrix, the algorithm needs $2\log(N)+7$ ancillary qubits. This process takes polylogarithmic time and has an error of $\mathcal{O}(N^2)$, where $N$ is the matrix size.

2026-03-19T16:49:13Z Giacomo Antonioli Paola Boito Gianna M. Del Corso Margherita Porcelli http://arxiv.org/abs/2411.11569v3 2026-03-19T16:09:51Z

The colored Jones polynomial associated to a knot admits an expansion of knot invariants known as the large-color expansion or Melvin-Morton-Rozansky expansion. We will show how this expansion can be derived from the universal invariant arising from a Hopf algebra $\mathbb{D}$, as introduced by Bar-Natan and Van der Veen. We utilize a Mathematica implementation to compute the universal invariant $\mathbf{Z}_{\mathbb{D}}(\mathcal{K})$ up to a certain order for a given knot $\mathcal{K}$, allowing for experimental verification of our theoretical results.

2024-11-18T13:43:51Z 21 pages (Corrected a few typos from the previous version, added the notion of XC-algebras, clarified multiple images, and improved wording) Boudewijn Bosch http://arxiv.org/abs/2409.09505v2 2026-03-19T02:10:15Z

This is an expanded version of the notes by the second author of the lectures on Hitchin systems and their quantization given by the first author at the Beijing Summer Workshop in Mathematics and Mathematical Physics ``Integrable Systems and Algebraic Geometry" (BIMSA-2024).

2024-09-14T18:46:35Z 70 pages, latex. v2: corrected some misprints Pavel Etingof Henry Liu http://arxiv.org/abs/2603.18264v1 2026-03-18T20:37:07Z

We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories equipped with a twisted cylinder twist, a structure closely related to the twisted reflection equation and quantum symmetric pairs. Under mild assumptions, we establish an order-preserving bijection between submodules of a module category $\mathcal{M}$ and submodules of the path-algebra module $\mathcal{M}(1,-)$. We show that this correspondence is compatible with idempotent completion and analyze its behavior under decategorification to the split Grothendieck group, giving criteria for classification in terms of indecomposable objects. As an application, we study the disoriented skein category as a module category over the oriented skein category, describe its indecomposable objects, and obtain a complete classification of its submodules.

2026-03-18T20:37:07Z 36 pages Hadi Salmasian Alistair Savage Yaolong Shen http://arxiv.org/abs/2503.04297v3 2026-03-18T17:17:51Z

We define a properad $Y^{(n)}_\infty$ that encodes $n$-pre-Calabi--Yau algebras with vanishing copairing. These algebras include chains on the based loop space of any space $X$ endowed with a fundamental class $[X]$ such that $(X,[X])$ satisfies Poincaré duality of degree $n \geqslant 1$ with local system coefficients, such as an oriented manifold. Extending the notion of coformality of spaces, we define coformality of such a pair $(X,[X])$ in terms of properadic formality of $Y^{(n)}_\infty$-algebra structures on $C_*(ΩX)$. Using a refined version of properadic Kaledin classes, we establish the intrinsic coformality of all spheres in characteristic zero.

2025-03-06T10:35:51Z 29 pages, comments are welcome Coline Emprin Alex Takeda http://arxiv.org/abs/2103.01383v4 2026-03-18T12:22:52Z

For an $S^1$-framed modular operad $P$, we introduce its "Feynman compactification" denoted by $FP$ which is a modular operad. Let $\{\mathbb{M}^{\sf fr}(g,n)\}_{(g,n)}$ be the $S^1$-framed modular operad defined using moduli spaces of smooth curves with framings along punctures. We prove that the homology operad of $F\mathbb{M}^{\sf fr}$ is isomorphic to $H_*(\overline{M})$, the homology operad of the Deligne-Mumford operad. Using this isomorphism, we obtain an explicit formula of the fundamental class of $[\overline{M}_{g,n}/S_n]$ in terms of Sen-Zwiebach's string vertices. As an immediate application, under mild assumptions, we prove that Costello's categorical enumerative invariants of the ground field match with the Gromov-Witten invariants of a point.

2021-03-02T00:44:28Z 41 pages, revised and some parts rewritten Junwu Tu http://arxiv.org/abs/2603.17394v1 2026-03-18T06:17:38Z

We propose a three-dimensional field theory construction that realizes the vertex algebras associated with the intermediate Lie algebras and the related $C_2$-cofinite minimal $W$-algebras of the Deligne-Cvitanović (DC) series as boundary algebras. The construction is based on the minimal three-dimensional ${\mathcal N}=4$ superconformal field theory coupled to a topological field theory. For a Neumann-type boundary condition compatible with the topological $A$-twist, the algebra of boundary local operators realizes the minimal $W$-algebra $W_{-h^\vee/6}(\mathfrak{g},f_{\text{min}})$. While this boundary condition is not deformable to the $B$-twist, we argue that a holomorphic-topological ($HT^B$) twist instead realizes the level-one affine algebras of the intermediate Lie algebras, providing a uniform three-dimensional origin for these vertex algebra structures.

2026-03-18T06:17:38Z 28 pages Thomas Creutzig Niklas Garner Byeonggi Go Heeyeon Kim http://arxiv.org/abs/2603.17276v1 2026-03-18T02:09:12Z

It is a simple fact that a group has a trivial automorphism group if and only if it is of order $1$ or $2$. We prove that the same holds for certain families of skew braces, and given any odd prime $p$, we construct a skew brace of order $2p^3$ that has a trivial automorphism group.

2026-03-18T02:09:12Z 19 pages Cindy Tsang http://arxiv.org/abs/2504.09551v3 2026-03-18T00:03:53Z

The purpose of this paper is to explore possible definitions of $n$-isoclinism for skew braces. We also introduce the notions of verbal sub-skew braces and marginal left ideals.

2025-04-13T12:55:32Z 23 pages; very minor changes Risa Arai Cindy Tsang 10.22108/ijgt.2026.147681.2002 http://arxiv.org/abs/2512.23700v2 2026-03-17T22:57:24Z

We explore the topological significance of the Gukov-Manolescu knot series $F_K$. We show that the leading coefficient of $F_K$ is a monomial and express its exponent in terms of the Hopf invariant for all homogeneous braid knots, and for fibered knots up to 12 crossings. As an application, we deduce an explicit formula for the Hopf invariant in terms of colored Jones polynomials. For non-fibered strongly quasipositive knots, we study a relation between $F_K$ and the stability series of the colored Jones function, and explore similarities between $F_K$ and knot Floer homology. Finally, we propose a slope conjecture for $F_K$, relating it to the boundary slopes of the knot.

2025-12-29T18:56:53Z 38 pages, 7 figures, 1 .tsv file Paul Orland Lara San Martín Suárez Toby Saunders-A'Court Josef Svoboda http://arxiv.org/abs/2509.21255v4 2026-03-17T21:13:26Z

Given a finite simple connected graph $Γ$, the graphical configuration space $\mathrm{Conf}_Γ(X)$ is the space of collections of points in $X$ indexed by the vertices of $Γ$, where points corresponding to adjacent vertices must be distinct. When $X=\mathbb{R}^d$ and the points are replaced by small disks, the resulting spaces for all possible graphs fit together into an algebraic structure that extends the little disks operad, called the little disks contractad $\mathcal{D}_d$. In this paper, we investigate the homotopical and algebraic properties of the little disks contractad $\mathcal{D}_d$. We construct and study Fulton-MacPherson compactifications of graphical configuration spaces, which provide a convenient model for $\mathcal{D}_d$ within the class of compact manifolds with boundary. Using these and wonderful compactifications, we prove that $\mathcal{D}_d$ is formal in the category of (Hopf) contractads for $d=1$, $d=2$, and for chordal graphs for any $d$. We also identify the first obstructions to coformality in the case of cyclic graphs. In addition, we give a combinatorial description of the cell structure of $\mathcal{D}_2$ and present applications to the study of graphical configuration spaces $\mathrm{Conf}_Γ(X)$ using the language of twisted algebras.

2025-09-25T14:47:51Z 43 pages, submission version Anton Khoroshkin Denis Lyskov http://arxiv.org/abs/2302.07776v4 2026-03-17T20:41:10Z

We develop the theory of quantum (a.k.a. noncommutative) relations and quantum (a.k.a. noncommutative) graphs in the finite-dimensional covariant setting, where all systems (finite-dimensional $C^*$-algebras) carry an action of a compact quantum group $G$, and all channels (completely positive maps preserving the canonical $G$-invariant state) are covariant with respect to the $G$-actions. We motivate our definitions by applications to zero-error quantum communication theory with a symmetry constraint. Some key results are the following: 1) We give a necessary and sufficient condition for a covariant quantum relation to be the underlying relation of a covariant channel. 2) We show that every quantum confusability graph with a $G$-action (which we call a quantum $G$-graph) arises as the confusability graph of a covariant channel. 3) We show that a covariant channel is reversible precisely when its confusability $G$-graph is discrete. 4) When $G$ is quasitriangular (this includes all compact groups), we show that covariant zero-error source-channel coding schemes are classified by covariant homomorphisms between confusability $G$-graphs.

2023-02-15T16:53:55Z 43 pages, many diagrams. Last update: Struck through an erroneous claim in Proposition 3.6, identified independently by M. Daws and A. Kornell. A correction will be sent to the journal. The other results are unaffected Commun. Math. Phys. 405, 51 (2024) Dominic Verdon 10.1007/s00220-023-04898-0 http://arxiv.org/abs/2008.06983v5 2026-03-17T19:18:30Z

One construction of the Alexander polynomial is as a quantum invariant associated with representations of restricted quantum $\mathfrak{sl}_2$ at a fourth root of unity. We generalize this construction to define a link invariant $Δ_{\mathfrak{g}}$ for any semisimple Lie algebra $\mathfrak{g}$ of rank $n$, taking values in $n$-variable Laurent polynomials. Focusing on the case $\mathfrak{g}=\mathfrak{sl}_3$, we establish a direct relation between $Δ_{\mathfrak{sl}_3}$ and the Alexander polynomial. We show that certain parameter evaluations of $Δ_{\mathfrak{sl}_3}$ recover the Alexander polynomial on knots, despite the $R$-matrix not satisfying the Alexander-Conway skein relation at these points. We tabulate $Δ_{\mathfrak{sl}_3}$ for all knots up to seven crossings and various other examples, including the Kinoshita-Terasaka knot and Conway knot mutant pair which are distinguished by this invariant.

2020-08-16T19:52:39Z SIGMA 22 (2026), 025, 37 pages Matthew Harper 10.3842/SIGMA.2026.025 http://arxiv.org/abs/2603.16766v1 2026-03-17T16:45:29Z

Motivated by the recent development of noncommutative Novikov algebras and multi-Novikov algebras from the study of regularity structures of stochastic PDEs, this paper gives a general approach to study various multi-Novikov algebras and multi-differential algebras, with close connection with Poisson algebras. The construction of S. Gelfand of Novikov algebras from differential commutative algebras is generalized to this context. Free noncommuting multi-Novikov algebras are constructed from typed decorated rooted trees and from noncommuting multi-differential polynomials with populated conditions.

2026-03-17T16:45:29Z 27 pages. Comments welcome Xiaoyan Wang Li Guo Huhu Zhang http://arxiv.org/abs/2603.16704v1 2026-03-17T15:57:09Z

R. Ellis showed in 1960 that every discrete group acts freely on its Stone-Cech compactification. We extend this result to discrete quantum groups with low duals. The method of proof is different from the earlier proofs in the classical case, using the definition of freeness given by D. A. Ellwood in the setting of noncommutative geometry.

2026-03-17T15:57:09Z Pekka Salmi